X-Git-Url: https://git.distorted.org.uk/~mdw/profile/blobdiff_plain/dd84629111a04443b79646a05370442dd0685f69..308b0b573ef7a78f70eb7d5ddb2c72f6860ea2fe:/bash_profile

diff --git a/bash_profile b/bash_profile
index a4524ea..db97ecd 100644
--- a/bash_profile
+++ b/bash_profile
@@ -1,3 +1,4 @@
+# -*-sh-*-
 #
 # $Id: .profile,v 1.3 1997/01/09 20:30:23 mdw Exp $
 #
@@ -28,9 +29,9 @@ __mdw_addto () {
     [ -d $i ] || continue
     case "X$val" in
       X)
-        val=$i
-        continue
-        ;;
+	val=$i
+	continue
+	;;
       X$i)
 	continue
 	;;
@@ -58,7 +59,7 @@ __mdw_addto () {
 __mdw_conf () {
   local var=$1
   val=`sed -n "
-    /^[ 	]*$var[ 	]*=[ 	]*\(\|.*[^ 	]\)[ 	]*$/ {
+    /^[	 ]*$var[	 ]*=[	 ]*\(\|.*[^	 ]\)[	 ]*$/ {
       s//\1/; p; q
     }
   " ${MDWCONF-$HOME/.mdw.conf}`
@@ -71,7 +72,7 @@ __mdw_conf () {
 __mdw_addto PATH l \
   $HOME/bin \
   {,/usr{,/local}{,/X11R6}}{/bin,/sbin,/games} \
-  /opt/nfast{/bin,/sbin} \
+  /opt/nfast{,/gcc}{/bin,/sbin} \
   $HOME/src/ncipher/scripts
 if [ -d /usr/local/plan9 ]; then
   export PLAN9=/usr/local/plan9
@@ -97,13 +98,6 @@ export NAME="Mark Wooding"
 export EMAIL=`__mdw_conf email`
 export QMAILINJECT=c
 
-# --- GIT environment things ---
-
-export GIT_AUTHOR_NAME=$NAME
-export GIT_AUTHOR_EMAIL=$EMAIL
-export GIT_COMMITTER_NAME=$NAME
-export GIT_COMMITTER_EMAIL=$EMAIL
-
 # --- Various options for programs ---
 
 umask 002
@@ -141,7 +135,7 @@ export SVNROOT=`__mdw_conf svn-root`
 export BECOME="--preserve-environment"
 
 export PAGER=`type -p less` METAMAIL_PAGER=`type -p less`
-export LESS="-iqgRh1"
+export LESS="-iqgRh1FX"
 export LESSOPEN="|lesspipe.sh %s"
 export LESSCHARSET=latin1
 # export MAKEFLAGS="-j4"
@@ -170,7 +164,7 @@ eval `start-ssh-agent -b`
 if [ -z "$__mdw_bashrc" ] && [ "$__mdw_force_secure_session" = "yes" ] ||
    ( tty="`tty`" devtty="(/dev/)?${tty#/dev/}"
      { { { [ -e /etc/securetty ] && sectty=/etc/securetty; } ||
-         { [ -e /etc/securettys ] && sectty=/etc/securettys; }; } &&
+	 { [ -e /etc/securettys ] && sectty=/etc/securettys; }; } &&
        egrep "$devtty" $sectty >/dev/null; } ||
      { [ -e /etc/default/login ] &&
        egrep "^CONSOLE=$devtty" /etc/default/login >/dev/null; } ||
@@ -197,6 +191,8 @@ if pixie --version >/dev/null 2>&1; then
   fi
 fi
 
+[ -f "$HOME/.profile-local" ] && . "$HOME/.profile-local"
+
 # --- Now, if my .bashrc hasn't been run yet, run it ---
 #
 # Oh, don't do that if we don't have a terminal.