diff zshrc-xanthippe @ 139:d683d08cf8e0

Automated merge with https://localhost/hg/zsh-env
author Dirk Olmes <dirk@xanthippe.ping.de>
date Wed, 04 Jul 2018 17:03:00 +0200
parents b44844181cf6
children abc3d303adde
line wrap: on
line diff
--- a/zshrc-xanthippe	Wed Jul 04 12:23:47 2018 +0200
+++ b/zshrc-xanthippe	Wed Jul 04 17:03:00 2018 +0200
@@ -6,6 +6,7 @@
 . ${HOME}/.zsh-env/zshrc-maven
 . ${HOME}/.zsh-env/zshrc-bindkey
 . ${HOME}/.zsh-env/zshrc-docker
+. ${HOME}/.zsh-env/zshrc-ipv6
 
 GPG_AGENT_FILE="${HOME}/.gnupg/.gpg-agent-info"
 if [ -f "${GPG_AGENT_FILE}" ]; then