bash shell settings

Here are the colourful and happy bash shell settings I use.

Last modified: Mon Jan 8 20:30:38 GMT 2001