Hi,
no ticket, candidate for 0.20 so please merge into devel.
commit 21a884d4e1d9a5ef765cbeec61a5389ad2668a71
Author: Tails developers <amnesia@???>
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.
Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc