1 | # Bourne Again SHell init file.
|
---|
2 | #
|
---|
3 | # Files you make look like rw-rw-r
|
---|
4 | umask 002
|
---|
5 |
|
---|
6 | # Don't make useless coredump files. If you want a coredump,
|
---|
7 | # say "ulimit -c unlimited" and then cause a segmentation fault.
|
---|
8 | ulimit -c 0
|
---|
9 |
|
---|
10 | # Sometimes, there are lots of places that one can find tex inputs.
|
---|
11 | export TEXINPUTS=.:$HOME/bin:/usr/lib/tex/inputs:/usr/local/lib/tex/inputs
|
---|
12 |
|
---|
13 | # Where's the Gnu stuff at?
|
---|
14 | GNU=/usr/gnu/bin
|
---|
15 | X11=/usr/bin/X11
|
---|
16 |
|
---|
17 | UTIL_PATH=$GNU:$X11
|
---|
18 | STANDARD_PATH=/usr/local/bin:/usr/ucb:/bin:/usr/bin:/usr/etc:/etc:/usr/games
|
---|
19 |
|
---|
20 | if [ -d $HOME/bin/$HOSTTYPE ]; then
|
---|
21 | MY_PATH=$HOME/bin/$HOSTTYPE
|
---|
22 | fi
|
---|
23 |
|
---|
24 | if [ -d $HOME/bin ]; then
|
---|
25 | MY_PATH=$MY_PATH:$HOME/bin
|
---|
26 | fi
|
---|
27 |
|
---|
28 | if [ -d /usr/hosts ]; then
|
---|
29 | STANDARD_PATH=$STANDARD_PATH:/usr/hosts
|
---|
30 | fi
|
---|
31 |
|
---|
32 | PATH=.:$MY_PATH:$UTIL_PATH:$STANDARD_PATH
|
---|
33 |
|
---|
34 | # If not running interactively, then return
|
---|
35 | if [ -z "$PS1" ]; then
|
---|
36 | return
|
---|
37 | fi
|
---|
38 |
|
---|
39 | # Set ignoreeof if you don't want EOF as the sole input to the shell to
|
---|
40 | # immediately signal a quit condition. This only happens at the start
|
---|
41 | # of a line if the line is empty, and you haven't just deleted a character
|
---|
42 | # with C-d. I turn this on in ~/.bash_profile so that only login shells
|
---|
43 | # have the right to be obnoxious.
|
---|
44 | # set -o ignoreeof
|
---|
45 |
|
---|
46 | # Set auto_resume if you want to resume on "emacs", as well as on
|
---|
47 | # "%emacs".
|
---|
48 | auto_resume=exact
|
---|
49 |
|
---|
50 | # Set notify if you want to be asynchronously notified about background
|
---|
51 | # job completion.
|
---|
52 | set -o notify
|
---|
53 |
|
---|
54 | # Make it so that failed `exec' commands don't flush this shell.
|
---|
55 | shopt -s execfail
|
---|
56 |
|
---|
57 | if [ -z "$LOGIN_SHELL" ]; then
|
---|
58 | PS1="\u@\h\$ "
|
---|
59 | fi
|
---|
60 |
|
---|
61 | HISTSIZE=256
|
---|
62 | MAILCHECK=60
|
---|
63 |
|
---|
64 | # A couple of default aliases.
|
---|
65 | alias j='jobs -l'
|
---|
66 | alias po=popd
|
---|
67 | alias pu=pushd
|
---|
68 | alias ls='ls -F'
|
---|
69 |
|
---|
70 | [ -f ~/.bash_aliases ] && . ~/.bash_aliases
|
---|