Updates from work

[clearscm.git] / rc / bash_login

diff --git a/rc/bash_login b/rc/bash_login
index d390e56..2d31fb8 100644 (file)
--- a/rc/bash_login
+++ b/rc/bash_login
@@ -121,6 +121,11 @@ if [ -r /etc/bash_completion -a $ARCHITECTURE != "cygwin" ]; then
   source /etc/bash_completion
 fi
 
+# Alias ping
+if [ $ARCHITECTURE = "cygwin" ]; then
+  alias ping=$(echo $SYSTEMROOT | tr '\\' '\/')/system32/ping
+fi
+
 # We specify /home/$USER here so that when we sudo to another user 
 # we will only trap logout if that user also has a ~/.rc/logout
 # (doubtfull).