pushzshconfig 20.10.2014 14:45

plugins/david.zsh

@@ -134,18 +134,3 @@ is_dirty()
     return 0
   fi
 }
-
-# my personal vpn client
-vpn()
-{
-    local vpndir="/home/david/.vpn"
-    local resolv="/etc/resolv.conf"
-    local resolvtmp="/tmp/resolv.conf_orig"
-    cd $vpndir
-    sudo cp $resolv $resolvtmp
-    sudo cp resolv.conf $resolv
-    sudo openvpn --config *.ovpn
-    sudo rm $resolv
-    sudo mv $resolvtmp $resolv
-    cd -
-}