Package: w3m
Version: 0.5.3-29
Severity: wishlist
File: /usr/bin/w3m

$ man w3m

       ~/.w3m/cookie
              cookie jar; written on exit, read on launch

$ w3m -show-option 2>&1|grep -i cookie
  section[8]: Cookie Settings
    -o use_cookie=<bool>                Enable cookie processing
    -o show_cookie=<bool>               Print a message when receiving a cookie
    -o accept_cookie=<bool>             Accept cookies
    -o accept_bad_cookie=<number>       Action to be taken on invalid cookie
    -o cookie_reject_domains=<string>   Domains to reject cookies from
    -o cookie_accept_domains=<string>   Domains to accept cookies from
    -o cookie_avoid_wrong_number_of_dots=<string> Domains to avoid [wrong 
number of dots]

But there is no way to use a different cookie file other than changing
$HOME and thus changing all the other file locations.

Same problem with the other FILES on the man page.

Reply via email to