From ca67748991a7ee67a6b508b31461a82cfedd1646 Mon Sep 17 00:00:00 2001
From: Johann Dreo <johann.dreo@thalesgroup.com>
Date: Wed, 27 Jul 2016 14:06:23 +0200
Subject: [PATCH] add another proxy config

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

diff --git a/.bashrc b/.bashrc
index fa0a839..2d69aae 100644
--- a/.bashrc
+++ b/.bashrc
@@ -18,6 +18,15 @@ function proxy()
     echo ${proxy_url##*@}
 }
 
+function proxy_app()
+{
+    proxy_url="$(~/proxy_app.sh)"
+    export  http_proxy="$proxy_url"
+    export https_proxy="$proxy_url"
+    export   ftp_proxy="$proxy_url"
+    echo ${proxy_url##*@}
+}
+
 function noproxy()
 {
     export http_proxy=""