view zshrc-xanthippe @ 89:a31352c6a051

The folder for the rpi checkout has changed ...
author Dirk Olmes <dirk@xanthippe.ping.de>
date Mon, 23 May 2016 08:57:44 +0200
parents 9222611c7a2e
children 93f7be107f46
line wrap: on
line source

#
# zshrc for xanthippe
#

. ${HOME}/.zsh-env/zshrc-jdk
. ${HOME}/.zsh-env/zshrc-maven
. ${HOME}/.zsh-env/zshrc-bindkey

GPG_AGENT_FILE="${HOME}/.gnupg/.gpg-agent-info"
if [ -f "${GPG_AGENT_FILE}" ]; then
    . "${GPG_AGENT_FILE}"
    export GPG_AGENT_INFO
fi

export GPG_TTY=`tty`
export PATH="$HOME/bin:${PATH}"

alias top=htop