From 66ca4dd1b37c25dea8db8fcd34072c4ec292c2b9 Mon Sep 17 00:00:00 2001
From: Johann Dreo <johann.dreo@thalesgroup.com>
Date: Fri, 4 Jan 2013 15:29:39 +0100
Subject: [PATCH] add https_proxy

---
 .bashrc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.bashrc b/.bashrc
index f3688ae..e75b790 100644
--- a/.bashrc
+++ b/.bashrc
@@ -12,6 +12,7 @@ fi
 function proxy()
 {
     export http_proxy="http://localhost:8888"
+    export https_proxy="http://localhost:8888"
     export ftp_proxy="ftp://localhost:8888"
     echo "localhost:8888"
 }
@@ -19,6 +20,7 @@ function proxy()
 function noproxy()
 {
     export http_proxy=""
+    export https_proxy=""
     export ftp_proxy=""
 }