# HG changeset patch
# User Dirk Olmes <dirk@xanthippe.ping.de>
# Date 1478915533 -3600
# Node ID 93f7be107f46b30bf70a4016a019136fe78ae25e
# Parent  ab0d075236e067a58005871028eb17f0237c30db
include the docker commands

diff -r ab0d075236e0 -r 93f7be107f46 zshrc-xanthippe
--- a/zshrc-xanthippe	Sun Sep 18 09:56:03 2016 +0200
+++ b/zshrc-xanthippe	Sat Nov 12 02:52:13 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