changeset 108:c228c63f1ba9

Automated merge with https://localhost/hg/zsh-env
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sat, 12 Nov 2016 02:52:17 +0100
parents b3ffe2fba3ac (current diff) 93f7be107f46 (diff)
children 315142c3762b
files
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/zshrc-xanthippe	Fri Nov 11 02:48:32 2016 +0100
+++ b/zshrc-xanthippe	Sat Nov 12 02:52:17 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