# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1416552499 -3600
# Node ID 7a9536fc54b806d6b0621e0642056b97073ba20f
# Parent  bc9e88b0be4a301959955bb0387ade723f7f85e4
add an alias for ping

diff -r bc9e88b0be4a -r 7a9536fc54b8 zshrc-cassiopeia
--- a/zshrc-cassiopeia	Fri Nov 21 07:47:09 2014 +0100
+++ b/zshrc-cassiopeia	Fri Nov 21 07:48:19 2014 +0100
@@ -23,6 +23,7 @@
 alias ex-eclipse="/home/dirk/Projects/Exentra/RPI/trunk/utils/ex-eclipse"
 alias ex-install="/home/dirk/Projects/Exentra/RPI/trunk/utils/ex-install"
 alias ne=neditc
+alias ping=noping
 alias top=htop
 
 #