From 74beff294e32630e4a3534e81230cdc8659a822d Mon Sep 17 00:00:00 2001
From: Jakob Odersky <jakob@odersky.com>
Date: Sat, 20 Oct 2018 17:39:07 -0700
Subject: Clean up .bashrc and add .profile

---
 home/.bashrc  |  5 +----
 home/.profile | 31 +++++++++++++++++++++++++++++++
 2 files changed, 32 insertions(+), 4 deletions(-)
 create mode 100644 home/.profile

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
-- 
cgit v1.2.3