changeset 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 e6963f521d31 (current diff) 0896c2a1b094 (diff)
children 68edc97253fa
files
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
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"