# if it's a remote, SSH_CONNECTION will be set
# set variable identifying the chroot you work in (used in the prompt below)
+ # disable terminal bell
+ bind 'set bell-style none'
+
if [ -n "$SSH_CONNECTION" -o -n "$SSH_CLIENT" ]; then
# figure out what color to use
COLOR=$(hostname|md5sum|perl -ne 'if (/^([a-f\d]{8})/) {
if [ -z "$1" ] || [ "$1" == "-" ]; then
builtin cd "$@"; # && [ -r .todo ] && devtodo ${TODO_OPTIONS};
else
- builtin pushd "$@"; # >/dev/null && [ -r .todo ] && devtodo ${TODO_OPTIONS};
+ builtin pushd "$@" >/dev/null; # && [ -r .todo ] && devtodo ${TODO_OPTIONS};
fi;
}