On 2005-12-16 13:47:21 -0500, Chet Ramey wrote:
> What's in debian's /etc/bash.bashrc, and has it been changed on your
> system?
Without the comments:
[ -z "$PS1" ] && return
shopt -s checkwinsize
if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
debian_chroot=$(cat /etc/debian_chroot)
fi
PS1='${debian_chroot:+($debian_chroot)[EMAIL PROTECTED]:\w\$ '
and /etc/debian_chroot doesn't exist. I've never changed
/etc/bash.bashrc (this is Debian's default file).
--
Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / SPACES project at LORIA
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
