On 02/06/2023 13:56, lejeczek via users wrote:
Hi guys

I have one specific user whose PS1 if not set in .bash_profile, is taken from somewhere else.
At the same time globally I set PS1 in /etc/environment - bu that, this one user does not honor.
I've tried a few terminal/console apps - no difference.

Where else can PS1 be set and/or how to find out here PS1 for a user/account was set?

many thanks, L.


A bit more fiddling..
I don't know what role in it gnome-terminal plays but, it seems that PS1 gets "global" at Gnome login time and user inherits that, if set inĀ  '/etc/environment; , if PS1 set specifically in user "profile", then takes expected effect.
If set only in '/etc/environment' , PS1 is read by gnome/terminal but is malformed, as not digested, raw - suffices to 'ssh localhost' from the same gnome terminal and PS1 is set, displayed properly
In terminal, "Run command as login shell" is ON for all my fiddling and makes no difference.

It smells to me like a bug, I'd not presume it's intentional.

thanks, L.