no-proxy

[Katsumi Yamaoka <yamaoka@xxxxxxx>]

会社の外の web ページを見るときは proxy サーバー経由で接続、
会社の中の web ページを見るときも proxy サーバー経由で接続できる
が、中には proxy サーバー経由では見せてくれないものがある、とい
うような場合に使えるユーザープションを作ってみました (幹)。

w3m-command-arguments-alist's value is nil

Documentation:
*Alist of a regexp matching hostnames and additional arguments passed
to the w3m command.  This lets you, for instance, use or not use proxy
server for the particular hosts.  The first match made will be used.
Here is an example of how to set this option:

(setq w3m-command-arguments-alist
      '(;; Don't use any additional options to visit local hosts.
	(".*\\.your-company\\.com$" "-no-proxy")
	;; Use the proxy server to visit any foreign hosts.
	("" "-o" "http://proxy.your-company.com:8080/")))

You can customize this variable.

従来 w3m-command-arguments で proxy サーバーの指定をしていた人は、
代わりにこちらを使ってこまめに設定することができます。proxy に限
らず、接続先によって w3m コマンドに与える引数を切り替える目的に
も使うことが可能です。

で、今までこれに類するものが無かったのは不思議なんですが、もしか
したらすでにあったりしますか? ^^;;

それから別件ですが、関数 w3m-view-this-url-1 と
w3m-goto-url-new-session において let で束縛されている name とい
う変数、それに w3m-select-buffer-copy-buffer における buf、これ
らは不要なものでしょうか?
-- 
Katsumi Yamaoka <yamaoka@jpl.org>