Open
Opened by scoofy @scoofy

[ Raspi 1 / Jessie ] does $devuan_chroot variable exist?

The default .bashrc has the following lines: 

# Note: PS1 and umask are already set in /etc/profile. You should not
# need this unless you want different defaults for root.
# PS1='${devuan_chroot:+($devuan_chroot)}\\h:\\w\\$ '

Although this is commented out, once you uncomment it (as you would), there are two problems with this:

  1. It seems to me that $devuan_chroot variable doesn't exist, it is rather defined as $debian_chroot in /etc/bash.bashrc:

    set variable identifying the chroot you work in (used in the prompt below)

    if [ -z "${debian_chroot:-}" ] && [ -r /etc/debian_chroot ]; then debian_chroot=$(cat /etc/debian_chroot) fi

I find no reference to variable $devuan_chroot, so I believe this may be an error. Someone please confirm (or prove false).

  1. The username's missing, so to get a PS1 identical to the default, with correct handling of chroot:

    PS1='${debian_chroot:+($debian_chroot)}\\u@\\h:\\w$ '

This should be the commented line in .bashrc, instead of the current one. By the way, this is just identical copy of the line from /etc/bash.bashrc. It is commented out, suggesting the user to (potentially) uncomment it, then it will refer to a non-existing variable (it seems to me), which someone should confirm, and if so, fix.

Or, change all references of 'debian_chroot' to 'devuan_chroot', in other words, make the naming scheme consistent.