diff zshrc-xanthippe @ 111:c45bcb8a7ba4

Automated merge with https://localhost/hg/zsh-env
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 07 Dec 2016 10:07:34 +0100
parents 0896c2a1b094
children 3ed63e48767c
line wrap: on
line diff
--- a/zshrc-xanthippe	Tue Dec 06 08:45:01 2016 +0100
+++ b/zshrc-xanthippe	Wed Dec 07 10:07:34 2016 +0100
@@ -5,6 +5,7 @@
 . ${HOME}/.zsh-env/zshrc-jdk
 . ${HOME}/.zsh-env/zshrc-maven
 . ${HOME}/.zsh-env/zshrc-bindkey
+. ${HOME}/.zsh-env/zshrc-docker
 
 GPG_AGENT_FILE="${HOME}/.gnupg/.gpg-agent-info"
 if [ -f "${GPG_AGENT_FILE}" ]; then
@@ -15,4 +16,4 @@
 export GPG_TTY=`tty`
 export PATH="$HOME/bin:${PATH}"
 
-alias top=htop
+alias top="htop -C"