diff options
| author | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:39:07 -0700 |
|---|---|---|
| committer | Jakob Odersky <jakob@odersky.com> | 2018-10-20 17:39:07 -0700 |
| commit | 74beff294e32630e4a3534e81230cdc8659a822d (patch) | |
| tree | 6cc2aeaa08570853c1507527adfe95f7b1a58f15 /home/.bashrc | |
| parent | fa08f5b46e2b229c40a0c140c3a8b6885ec15163 (diff) | |
| download | dotfiles-74beff294e32630e4a3534e81230cdc8659a822d.tar.gz dotfiles-74beff294e32630e4a3534e81230cdc8659a822d.tar.bz2 dotfiles-74beff294e32630e4a3534e81230cdc8659a822d.zip | |
Clean up .bashrc and add .profile
Diffstat (limited to 'home/.bashrc')
| -rw-r--r-- | home/.bashrc | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/home/.bashrc b/home/.bashrc index 74d632c..ac7da8a 100644 --- a/home/.bashrc +++ b/home/.bashrc @@ -37,7 +37,7 @@ fi # set a fancy prompt (non-color, unless we know we "want" color) case "$TERM" in - xterm-color) color_prompt=yes;; + xterm-color|*-256color) color_prompt=yes;; esac # uncomment for a colored prompt, if the terminal has the capability; turned @@ -117,6 +117,3 @@ if [ -d "$HOME/.bashrc.d" ]; then . "$script" done fi - -# added by travis gem -[ -f /home/jodersky/.travis/travis.sh ] && source /home/jodersky/.travis/travis.sh |