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 /doc-jp | |
| 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
Diffstat (limited to '')
| -rw-r--r-- | doc-jp/FAQ.html | 2 |
1 files changed, 1 insertions, 1 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> |