view zshrc-linux-gnu @ 134:6d1316bff6c0

update ant path, remove noping
author Dirk Olmes <dirk@xanthippe.ping.de>
date Tue, 03 Jul 2018 02:20:39 +0200
parents fa52868da3d4
children 2cc8820caae0
line wrap: on
line source

#
# zshrc-linux-gnu: zsh env for various linux distributions
#

# custom environment variables
export LESS="-X"

PROMPT="%m%# "
if [[ "$TERM" =~ screen ]]; then
    PROMPT="(s)%m%# "
fi

# try to guess the distribution and include a special script for that
local linux_distro="unknown"
if [ -d /usr/portage ]; then
    linux_distro="gentoo"
elif [ -f /etc/centos-release ]; then
    linux_distro="centos"
fi

# now source the distro zshrc file if it exists
local distro_zshrc=$HOME/.zsh-env/zshrc-${linux_distro}
if [ -r "${distro_zshrc}" ]; then
    . ${distro_zshrc}
fi