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.