From 7706e99a923da9b3c06ce1540d66694d5f629fa9 Mon Sep 17 00:00:00 2001
From: Johann Dreo <johann.dreo@thalesgroup.com>
Date: Tue, 30 Apr 2013 08:54:52 +0200
Subject: [PATCH] Put proxy URL out of bashrc

---
 .bashrc | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/.bashrc b/.bashrc
index 891f934..048c4d9 100644
--- a/.bashrc
+++ b/.bashrc
@@ -11,10 +11,11 @@ fi
 
 function proxy()
 {
-    export http_proxy="http://localhost:8888"
-    export https_proxy="http://localhost:8888"
-    export ftp_proxy="ftp://localhost:8888"
-    echo "localhost:8888"
+    proxy_url="$(~/proxy.sh)"
+    export  http_proxy="$proxy_url"
+    export https_proxy="$proxy_url"
+    export   ftp_proxy="$proxy_url"
+    echo ${proxy_url##*@}
 }
 
 function noproxy()
@@ -126,7 +127,7 @@ bind '"\e[B": history-search-forward'
 # Processes #
 #############
 
-alias psg='ps aux|grep ' # grep a process
+alias psg='ps aux|grep -v grep | grep -i --color=auto ' # grep a process
 
 
 ##########