. $HOME/.shrc
export PS1='; '
test -r "$LOGIN" && . "$LOGIN"
test -r "$SETENV" && . "$SETENV" && setenv bash