Change PS1 when running as administrator

Frank Fesevur ffes@users.sourceforge.net
Mon Jun 16 20:05:00 GMT 2014


2014-06-16 21:06 GMT+02:00 Achim Gratz:
> Frank Fesevur writes:
>> When I run as administrator I change my PS1 from "$" to "#" with these
>> line in ~/.bashrc.
>>
>> if id -Gn | grep -i Administrators > /dev/null
>
> If anything I'd check for membership in group 544.  "Administrators"
> surely is one of these strings that gets localized depending on the
> phase of the moon or something.  I can't look right now, but I'm pretty
> sure it says "Administratoren" in a german Windows version.

On all my Dutch Windows all group names are localized apart from
544/Administrators.

# id
uid=1000(Frank) gid=513(Geen)
groups=513(Geen),0(root),544(Administrators),545(Gebruikers)

But I agree checking the numeric value is better.

>> If more people like this idea, maybe it could included in /etc/bash.bashrc?
>
> I'll have to think about it, but I lean toward putting it into profile.d
> instead.

Thanks for considering.
The other PS1 setting (user@host dir) is also in bash.bashrc. That's
why I suggested bash.bashrc.

Regards,
Frank

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple



More information about the Cygwin mailing list