- 733 名前：名無しさん＠お腹いっぱい。 [2023/12/31(日) 13:37:00.69 .net]
- no_proxy 環境変数を理解できない、或いはクセがあるのだっけ?
curl、wget では $no_proxy に従い直接接続できるが、w3m はプロキシに行ってしまうのだが。
$ w3m --version
w3m version w3m/0.5.3, options lang=en,m17n,image,color,ansi-color,mouse,gpm,menu,cookie,ssl,ssl-verify,external-uri-loader,w3mmailer,nntp,gopher,ipv6,alarm,mark
