# $Id$ if $(tty -s); then . /etc/profile . ~/.bash_profile fi