Zhang Wei zhangwei217245
zhangwei217245
/ .bashrc.ext
Created
July 12, 2017 18:17
A very quick setting to have pretty bash prompt.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # begin .bashrc.ext | |
| [ -e $HOME/.dbgdot ] && echo "entering .bashrc.ext" >&2 | |
| # User additions to .bashrc go in this file | |
| # Un-comment and modify the following template for system-specific | |
| # personal settings. | |
| # | |
| # if [ "$NERSC_HOST" == "edison" ] | |
| # then |