chiark / gitweb /
bash_profile: Move EDITOR selection into its own section.
[profile] / bash_profile
1 # -*-sh-*-
2 #
3 # $Id: .profile,v 1.3 1997/01/09 20:30:23 mdw Exp $
4 #
5 # Bash startup things
6 #
7
8 if [ -z "$__mdw_profile" ]; then
9
10 export __mdw_profile=done
11
12 # --- Work out my home directory ---
13 #
14 # This horrible trick resolves symbolic links.  It enables resolving links,
15 # changes directory and displays the name of the directory in a subshell
16 # to avoid changing the current state.
17
18 HOME=`(set -P; cd $HOME; pwd)`
19 cd $HOME
20
21 # --- Add elements to a path string ---
22
23 __mdw_addto () {
24   local var=$1 val dir=$2 new=""
25   eval "val=\$$var"
26   shift 2
27   for i in "$@"; do
28     case "$new:" in *:$i:*) continue;; esac
29     [ -d $i ] || continue
30     case "X$val" in
31       X)
32         val=$i
33         continue
34         ;;
35       X$i)
36         continue
37         ;;
38       X*:$i:*)
39         val=`echo $val | sed -e "s=:$i:=:="`
40         ;;
41       X$i:*)
42         val=${val#$i:}
43         ;;
44       X*:$i)
45         val=${val%:$i}
46         ;;
47     esac
48     new=$new:$i
49   done
50   case $dir in
51     l) val=${new#:}:$val;;
52     r) val=$val$new;;
53   esac
54   export $var=$val
55 }
56
57 # --- Find a configuration item ---
58
59 __mdw_conf () {
60   local var=$1
61   val=`sed -n "
62     /^[  ]*$var[         ]*=[    ]*\(\|.*[^      ]\)[    ]*$/ {
63       s//\1/; p; q
64     }
65   " ${MDWCONF-$HOME/.mdw.conf}`
66   case "$val" in "~"*) val=`eval "echo ${val%%/*}"`${val#\~};; esac
67   echo "$val"
68 }
69
70 # --- Set the path variable ---
71
72 __mdw_addto PATH l \
73   $HOME/bin \
74   {,/usr{,/local}{,/X11R6}}{/bin,/sbin,/games} \
75   /opt/nfast{,/gcc}{/bin,/sbin} \
76   $HOME/src/ncipher/scripts
77 if [ -d /usr/local/plan9 ]; then
78   export PLAN9=/usr/local/plan9
79   __mdw_addto PATH r \
80     $PLAN9/bin
81 fi
82
83 # --- And the same for manual pages ---
84
85 case "$MACHTIME" in
86   *linux*)
87     MANPATH=`manpath -q`
88     ;;
89 esac
90 __mdw_addto MANPATH l \
91   {/usr{,/local}{,/X11R6}{,/share}}/{man,catman} \
92   $HOME/man
93
94 # --- Where my mail comes from ---
95
96 export MAIL=`__mdw_conf mailbox`
97 export NAME="Mark Wooding"
98 export EMAIL=`__mdw_conf email`
99 export QMAILINJECT=c
100
101 # --- Find a text editor ---
102
103 export EDITOR=ed
104 for ed in "emacs21 -nw" "emacs -nw" vi pico nano ae; do
105   name=`echo $ed | sed 's/ .*$//'`
106   if type -t >/dev/null "$name"; then
107     EDITOR=$ed
108     break
109   fi
110 done
111 export VISUAL="$EDITOR"
112
113 # --- Various options for programs ---
114
115 umask 002
116
117 [ -z "$HOST" ] && export HOST=`hostname`
118
119 unset LANG LC_COLLATE
120
121 export TEXINPUTS=".:$HOME/lib/tex//:"
122
123 __mdw_addto INFOPATH r $HOME/info /usr/info /usr/share/info /usr/local/info
124 __mdw_addto PERLLIB r $HOME/lib/perl
125 __mdw_addto PYTHONPATH r $HOME/lib/python
126
127 export __MDW_ROOTLY=`__mdw_conf rootly`
128
129 [ -z "$LS_OPTIONS" ] && export LS_OPTIONS="-F"
130
131 export BASCAT="-l +n"
132
133 export CVS_RSH=ssh
134 export CVSROOT=`__mdw_conf cvs-root`
135 export SVNROOT=`__mdw_conf svn-root`
136
137 export BECOME="--preserve-environment"
138
139 export PAGER=`type -p less` METAMAIL_PAGER=`type -p less`
140 export LESS="-iqgRh1FX"
141 export LESSOPEN="|lesspipe.sh %s"
142 export LESSCHARSET=latin1
143 # export MAKEFLAGS="-j4"
144 [ "$TMPDIR" ] || eval `tmpdir -b`
145 export TMP=$TMPDIR
146 export PERL_READLINE_NOWARN=yes
147
148 [ -z "$NNTPSERVER" ] && export NNTPSERVER=`__mdw_conf nntp-server`
149 [ -z "$http_proxy" ] && export http_proxy=http://`__mdw_conf http-proxy`/
150 [ -z "$ftp_proxy" ] && export ftp_proxy=$http_proxy
151
152 export XUSERFILESEARCHPATH="$HOME/.Xapps/%N:/usr/lib/X11/%T/%N%S"
153
154 export PS_PERSONALITY=gnu
155
156 export NC_SITES=cam:bos
157
158 # -- Disable core dumps ---
159
160 ulimit -S -c 0
161
162 # --- Start an ssh authentication agent ---
163
164 eval `start-ssh-agent -b`
165
166 if [ -z "$__mdw_bashrc" ] && [ "$__mdw_force_secure_session" = "yes" ] ||
167    ( tty="`tty`" devtty="(/dev/)?${tty#/dev/}"
168      { { { [ -e /etc/securetty ] && sectty=/etc/securetty; } ||
169          { [ -e /etc/securettys ] && sectty=/etc/securettys; }; } &&
170        egrep "$devtty" $sectty >/dev/null; } ||
171      { [ -e /etc/default/login ] &&
172        egrep "^CONSOLE=$devtty" /etc/default/login >/dev/null; } ||
173      case "${tty#/dev/}" in
174        console|systty|tty[0-9]) true ;;
175        *) false ;;
176      esac )
177 then
178   export __mdw_sechost="`hostname`"
179 fi
180
181 [ -n "$DT" ] && trap "source $HOME/.bash_logout" EXIT
182
183 # --- And a passphrase pixie ---
184
185 if pixie --version >/dev/null 2>&1; then
186   mkdir -p $HOME/.catacomb
187   pixie=${CATACOMB_PIXIE-$HOME/.catacomb/pixie}
188   if [ -S "$pixie" ] && pixie -C help >/dev/null 2>/dev/null; then
189     :
190   else
191     pixie -d 2>>$HOME/.catacomb/pixie.log
192     __mdw_started_pixie=yes
193   fi
194 fi
195
196 [ -f "$HOME/.profile-local" ] && . "$HOME/.profile-local"
197
198 # --- Now, if my .bashrc hasn't been run yet, run it ---
199 #
200 # Oh, don't do that if we don't have a terminal.
201
202 [ -z "$__mdw_bashrc" ] && [ -t 0 ] && \
203   [ -r $HOME/.bashrc ] && . $HOME/.bashrc
204
205 fi