# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1530716679 -7200
# Node ID abc3d303adde8d1aef3651ee637aa6517f03b300
# Parent  d683d08cf8e03663677dd7b2cca1893fb90492cb
add alias to ping a public IP

diff -r d683d08cf8e0 -r abc3d303adde zshrc-xanthippe
--- a/zshrc-xanthippe	Wed Jul 04 17:03:00 2018 +0200
+++ b/zshrc-xanthippe	Wed Jul 04 17:04:39 2018 +0200
@@ -18,4 +18,5 @@
 export PATH="$HOME/bin:$HOME/.nodejs/bin:${PATH}"
 
 alias ne="nano -E"
+alias p9="ping 9.9.9.9"
 alias top="htop -C"