Proposed change to base-files /etc/bash.bashrc: see whether PS1 has already been set

Mon Mar 26 15:41:00 GMT 2012

I can't figure out where the CVS is for base-files, but I wanted to
propose that the file:
/etc/bash.bashrc
... be altered to test whether the PS1 variable has already been set
before setting it to the default.
I set mine in a file in the /etc/profile.d directory, but with the
standard Cygwin installation, this value is overwritten unless I
modify each user's local setup or alter the system-wide file.
It would be harmless to ignore already-set values in this situation.
I could obviously generate a patch as necessary if I knew where the
repository was, but it's a one-liner, basically:
if [ -z "$PS1" ]; then
        PS1='\[\e]0;\w\a\]\n\[\e[32m\]\u@\h \[\e[33m\]\w\[\e[0m\]\n\$ '
fi
--
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