On 11 April 2012 06:01, Denys Duchier <denys.duchier@...> wrote:
> thank you! I shall try tomorrow; but, let's be honest, that's just a
> sucky solution (if it works at all) ;-) it exposes to all processes
> information that should preferably remain private.
You should be able to put this into $http_proxy and then it will be private.