comparison 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
comparison
equal deleted inserted replaced
137:8b961f7d78d9 139:d683d08cf8e0
4 4
5 . ${HOME}/.zsh-env/zshrc-jdk 5 . ${HOME}/.zsh-env/zshrc-jdk
6 . ${HOME}/.zsh-env/zshrc-maven 6 . ${HOME}/.zsh-env/zshrc-maven
7 . ${HOME}/.zsh-env/zshrc-bindkey 7 . ${HOME}/.zsh-env/zshrc-bindkey
8 . ${HOME}/.zsh-env/zshrc-docker 8 . ${HOME}/.zsh-env/zshrc-docker
9 . ${HOME}/.zsh-env/zshrc-ipv6
9 10
10 GPG_AGENT_FILE="${HOME}/.gnupg/.gpg-agent-info" 11 GPG_AGENT_FILE="${HOME}/.gnupg/.gpg-agent-info"
11 if [ -f "${GPG_AGENT_FILE}" ]; then 12 if [ -f "${GPG_AGENT_FILE}" ]; then
12 . "${GPG_AGENT_FILE}" 13 . "${GPG_AGENT_FILE}"
13 export GPG_AGENT_INFO 14 export GPG_AGENT_INFO