script used to switch local and remote network

Author: marcusyh

linux_conf/script/internet

@@ -1,23 +1,25 @@
 #!/bin/bash
-export http_proxy=http://xxx.xxx.xxx.xxx:80/ 
-export ftp_proxy=ftp://xxx.xxx.xxx.xxx:80/ 
-export socks_proxy=socks://xxx.xxx.xxx.xxx:80/ 
-export https_proxy=https://xxx.xxx.xxx.xxx:80/ 
+export http_proxy=http://xxxx.xxxx.xxxx.xxxx:80/ 
+export ftp_proxy=ftp://xxxx.xxxx.xxxx.xxxx:80/ 
+export socks_proxy=socks://xxxx.xxxx.xxxx.xxxx:80/ 
+export https_proxy=https://xxxx.xxxx.xxxx.xxxx:80/ 
+
+SED=$(test $(uname -o) = 'Darwin' && echo gsed || echo sed)
 
 if [ -z $(git config --global --name-only -l |grep remote.origin.proxy |xargs) ] 
 then 
     git config --global --add remote.origin.proxy ""
 fi
-gsed -i 's/proxy.*/proxy = xxx\.xxx\.xxx\.xxx:80/' ~/.gitconfig
+$SED -i 's/proxy.*/proxy = xxxx\.xxxx\.xxxx\.xxxx:80/' ~/.gitconfig
 
 if [ -z $(git config --global --name-only -l |grep user.name |xargs) ] 
 then 
     git config --global --add user.name ""
 fi
-gsed -i 's/name.*/name = xxxxx/' ~/.gitconfig
+$SED -i 's/name.*/name = xxxx/' ~/.gitconfig
 
 if [ -z $(git config --global --name-only -l |grep user.email |xargs) ] 
 then 
     git config --global --add user.email ""
 fi
-gsed -i 's/email.*/email = xxxxx@xxxx.xxx/' ~/.gitconfig
+$SED -i 's/email.*/email = xxxx@xxxx.xxxx/' ~/.gitconfig

linux_conf/script/localnet

@@ -1,19 +1,20 @@
 #!/bin/bash
+SED=$(test $(uname -o) = 'Darwin' && echo gsed || echo sed)
 unset http_proxy ftp_proxy socks_proxy https_proxy 
 if [ -z $(git config --global --name-only -l |grep remote.origin.proxy |xargs) ] 
 then 
     git config --global --add remote.origin.proxy ""
 fi
-gsed -i 's/proxy *= *[0-9.:]*/proxy =/' ~/.gitconfig
+$SED -i 's/proxy *= *[0-9.:]*/proxy =/' ~/.gitconfig
 
 if [ -z $(git config --global --name-only -l |grep user.name |xargs) ] 
 then 
     git config --global --add user.name ""
 fi
-gsed -i 's/name.*/name = xxxx/' ~/.gitconfig
+$SED -i 's/name.*/name = xxxx/' ~/.gitconfig
 
 if [ -z $(git config --global --name-only -l |grep user.email |xargs) ] 
 then 
     git config --global --add user.email ""
 fi
-gsed -i 's/email.*/email = xxxx@xxx/' ~/.gitconfig
+$SED -i 's/email.*/email = xxxx@xxxx/' ~/.gitconfig