# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1439718581 -7200
# Node ID b41590f0a58758829fe86e8d24a9659cc8887dc3
# Parent  a48ea5d61dee3a5ed93fac3c3fb70690a38abb55# Parent  e4ed204c90fa811a07827734260248b91b3f37d1
Automated merge with https://localhost/hg/zsh-env

diff -r a48ea5d61dee -r b41590f0a587 zshrc-xanthippe
--- a/zshrc-xanthippe	Tue Aug 11 17:48:12 2015 +0200
+++ b/zshrc-xanthippe	Sun Aug 16 11:49:41 2015 +0200
@@ -14,3 +14,5 @@
 
 export GPG_TTY=`tty`
 export PATH="$HOME/bin:${PATH}"
+
+alias top=htop