diff options
| author | Tatsuya Kinoshita <tats@debian.org> | 2015-07-05 00:51:20 +0000 |
|---|---|---|
| committer | Tatsuya Kinoshita <tats@debian.org> | 2015-07-05 00:53:34 +0000 |
| commit | e9553e62273357272a766feb3124a2bab0b88005 (patch) | |
| tree | e695aa44da7a77404e668286f04b66642d6d4680 | |
| parent | Update ChangeLog (diff) | |
| download | w3m-e9553e62273357272a766feb3124a2bab0b88005.tar.gz w3m-e9553e62273357272a766feb3124a2bab0b88005.zip | |
Mention HTTPS_PROXY in the FAQ documents
Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791425
| -rw-r--r-- | doc-jp/FAQ.html | 2 | ||||
| -rw-r--r-- | doc/FAQ.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc-jp/FAQ.html b/doc-jp/FAQ.html index e16a986..03f7306 100644 --- a/doc-jp/FAQ.html +++ b/doc-jp/FAQ.html @@ -176,7 +176,7 @@ w3mを起動すると，字が見えなくなります．<p> 保存します．画像を保存する場合は ESC I です． <p> <dt>プロキシの設定はどうするの？ -<dd>環境変数 HTTP_proxy を設定するか，"o" コマンドのオプション設定パネル +<dd>環境変数 HTTP_PROXY, HTTPS_PROXY を設定するか，"o" コマンドのオプション設定パネル で設定します．例えば proxy.hogege.com というホストの 8000番ポートを 利用する場合， <p> diff --git a/doc/FAQ.html b/doc/FAQ.html index ed2a704..59035f6 100644 --- a/doc/FAQ.html +++ b/doc/FAQ.html @@ -222,7 +222,7 @@ from the server each time it accesses it. If possible, use a cache server. <dd>Use 'a' (or 'd' with Lynx-like keybindings) or ESC RET. If you want to download an inline image, use ESC 'I'. <p> <dt><h3>How do I specify a proxy server?</h3> -<dd>Set the environment variable HTTP_PROXY or use the option setting panel +<dd>Set the environment variables HTTP_PROXY and HTTPS_PROXY, or use the option setting panel ("o" key). For example, if you want to use port 8000 of proxy.hogege.com, specify <p> <pre> |