(Although TBH you're right when you say /etc/profile isn't sourced on
Ubuntu -- that's because the default gnome-terminal profile doesn't run
the shell as a login shell. There's a checkbox in the profile
preferences dialog you can toggle to enable that.)
--
You received this bug notification bec
Ubuntu's default ~/.bashrc (copied over from /etc/skel/.bashrc when you
create new user accounts) overrides PS1 when $TERM is xterm*. When you
open new terminal windows or tabs, bash sources /etc/bash.bashrc and
then ~/.bashrc, and thus your global PS1 setting is overwritten.
Do the change in ~/.
** Package changed: ubuntu-release-upgrader (Ubuntu) => gnome-terminal
(Ubuntu)
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1406980
Title:
/etc/profile does not get sourced when logging into a ter