[Tails-dev] Please review'n'merge bugfix/git-https

Delete this message

Reply to this message
Author: intrigeri
Date:  
To: tails-dev
Subject: [Tails-dev] Please review'n'merge bugfix/git-https
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