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).