Hi, On Sat, 29 Jun 2013 11:09:05 +0200 intrigeri <[email protected]> wrote: > no ticket, candidate for 0.20 so please merge into devel. > > commit 21a884d4e1d9a5ef765cbeec61a5389ad2668a71 > Author: Tails developers <[email protected]> > Date: Sat Jun 29 08:38:41 2013 +0000 > > Set https_proxy and HTTPS_PROXY the same way as http_proxy. > > Until Tails 0.18, GNOME did set these environment variables since > we set its proxy settings. That's not the case anymore in 0.19. > > Git access to https:// repositories requires these environment > variables. > > Some day, we might want to get rid of the *_proxy environment > variables entirely, but we're not at it yet. > Merged into devel, thanks!
Cheers _______________________________________________ tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev
