aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Odersky <jakob@odersky.com>2018-10-20 17:39:07 -0700
committerJakob Odersky <jakob@odersky.com>2018-10-20 17:39:07 -0700
commit74beff294e32630e4a3534e81230cdc8659a822d (patch)
tree6cc2aeaa08570853c1507527adfe95f7b1a58f15
parentfa08f5b46e2b229c40a0c140c3a8b6885ec15163 (diff)
downloaddotfiles-74beff294e32630e4a3534e81230cdc8659a822d.tar.gz
dotfiles-74beff294e32630e4a3534e81230cdc8659a822d.tar.bz2
dotfiles-74beff294e32630e4a3534e81230cdc8659a822d.zip
Clean up .bashrc and add .profile
-rw-r--r--home/.bashrc5
-rw-r--r--home/.profile31
2 files changed, 32 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
diff --git a/home/.profile b/home/.profile
new file mode 100644
index 0000000..4f8a354
--- /dev/null
+++ b/home/.profile
@@ -0,0 +1,31 @@
+# ~/.profile: executed by the command interpreter for login shells.
+# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
+# exists.
+# see /usr/share/doc/bash/examples/startup-files for examples.
+# the files are located in the bash-doc package.
+
+# the default umask is set in /etc/profile; for setting the umask
+# for ssh logins, install and configure the libpam-umask package.
+#umask 022
+
+# if running bash
+if [ -n "$BASH_VERSION" ]; then
+ # include .bashrc if it exists
+ if [ -f "$HOME/.bashrc" ]; then
+ . "$HOME/.bashrc"
+ fi
+fi
+
+# set PATH so it includes sbin, which is disabled for non-root users
+# by default
+PATH="/usr/local/sbin:/usr/sbin:/sbin:$PATH"
+
+# set PATH so it includes user's private bin if it exists
+if [ -d "$HOME/bin" ] ; then
+ PATH="$HOME/bin:$PATH"
+fi
+
+# set PATH so it includes user's private bin if it exists
+if [ -d "$HOME/.local/bin" ] ; then
+ PATH="$HOME/.local/bin:$PATH"
+fi