12/05/2011 10:21 PM, [email protected]: > >> From: anonym <[email protected]> >> Date: Mon, 5 Dec 2011 02:08:39 +0100 >> > [...] >> >>> - "Torify HTP" (that actually torifies wget): >> >> Woops... >> >>> I'm surprised, again, >>> to see wget does not take into account the http_proxy environment >>> variable. >> >> Init scripts are supposed to be self-contained w.r.t. to environment, >> and in particular they don't load /etc/environment. Since there are >> potentially other reasons for the environment to get lost I feel it's >> safer to set the proxy it in wgetrc. >> > So what about: > > --- a/config/chroot_local-includes/etc/init.d/htpdate > +++ b/config/chroot_local-includes/etc/init.d/htpdate > @@ -47,7 +47,7 @@ log() { > } > > do_start() { > - start-stop-daemon -S -q -p ${PIDFILE} -bm -x > /usr/local/sbin/htpdate -- \ > + start-stop-daemon -S -q -p ${PIDFILE} -bm -x > http_proxy="http://127.0.0.1:8118/"; /usr/local/sbin/htpdate -- \ > -d \ > -l "$LOG" \ > -a "$HTTP_USER_AGENT" \
I think it must be https_proxy (or is http_proxy used for https if https_proxy is unset?), but sure why not add it? It will, however, be redundant since wgetrc already has proxies set.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
