w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

commit db4ec3d2345fb30a81a9ff265ee38242f65ca9c8
parent 468bcee48d4b0acee86066179eefc28bb50d3dd6
Author: inu <inu>
Date:   Sat,  8 Apr 2006 11:26:22 +0000

add explanations for .w3m/config and -o option.

Diffstat:
MChangeLog | 5+++++
Mdoc-jp/FAQ.html | 3+++
Mdoc-jp/MANUAL.html | 1+
Mdoc/FAQ.html | 4++++
4 files changed, 13 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog @@ -1,5 +1,10 @@ 2006-04-08 Dai Sato <satodai@w3m.jp> + * [w3m-dev 04152] [PATCH] Add more explanation for the usage of the option setting panel. + * doc(-jp)/FAQ.html, doc-jp/MANUAL.html: add explanations for .w3m/config and -o option. + +2006-04-08 Dai Sato <satodai@w3m.jp> + * [w3m-dev 04150] vi-prec_num * main.c: fix vi_prec_num switching. diff --git a/doc-jp/FAQ.html b/doc-jp/FAQ.html @@ -222,6 +222,9 @@ application/x-dvi; xdvi %s <dl> <dt>設定ファイルはどこにあるの? <dd>~/.w3m ディレクトリの下の config です. +オプション設定パネルで変更できると記述されているオプションの値を +このファイルで変更すると,w3m の挙動を調整できます. +オプションの名前と値を空白で区切ったものを 1 行に 1 組ずつ書いて設定します. <p> <dt>~/.w3m の下に w3mXXXXXX のようなファイルがたくさんあるけど,何? <dd>WWWサーバからファイルを読んでいるときに,それを一時的に保存する diff --git a/doc-jp/MANUAL.html b/doc-jp/MANUAL.html @@ -97,6 +97,7 @@ HTML <dd>折り返しサーチを使うかどうかを切りかえる. <dt>-o option=value <dd>オプションを指定する. +オプションの名前や値は,~/.w3m/config で指定するものと同じ. <dt>-no-proxy <dd>プロキシを利用しない. <dt>-pauth user:pass diff --git a/doc/FAQ.html b/doc/FAQ.html @@ -270,6 +270,10 @@ with Ctrl-u. What to do?</h3> <dl> <dt><h3>What is w3m's configuration file?</h3> <dd>It is ~/.w3m/config. +With this file, you can adjust w3m's behavior by changing values of options +that are described to be varied with the option setting panel. +Each line contains setting for one option, which is a pair of an option name +and its value with a space as a separator. <p> <dt><h3>What are these w3mxxxx files in my ~/.w3m directory for?</h3> <dd>These are temporary files used by w3m when reading documents from a