Mercurial > index.cgi > dotfiles
annotate .bash_profile @ 4:6ffd3fb73f7f
s/\~\//\$HOME\//g - There's possibly a nicer way to make sure tilde expansion
is done in the right places, but this works just as well and doesn't require
extra thinking when I'm half asleep :P
Added (^|:) to start, and ($|:) to end of all tests to make sure we're
matching a full path.
Also test for (and append if not there) a ':' at the end of $MANPATH;
otherwise Linux systems tend to forget how to search system paths.
| author | huston@80426f53-59d1-405d-934b-f07cd76f4a1a |
|---|---|
| date | Sat, 11 Apr 2009 06:54:02 +0000 |
| parents | 7e33b3191cf7 |
| children | f5b253e17e34 |
| rev | line source |
|---|---|
| 0 | 1 # .bash_profile |
|
1
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
0
diff
changeset
|
2 # This file is sourced for interactive login shells, or |
|
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
0
diff
changeset
|
3 # non-interactive shells with the --login option. So things which you |
|
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
0
diff
changeset
|
4 # want to happen only on login shells should go here. |
| 0 | 5 |
| 6 # Get the aliases and functions | |
| 7 if [ -f ~/.bashrc ]; then | |
| 8 . ~/.bashrc | |
| 9 fi | |
| 10 | |
| 11 # User specific environment and startup programs | |
| 12 | |
|
1
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
0
diff
changeset
|
13 # BASH_ENV is sourced for non-interactive shells; however, since we |
|
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
0
diff
changeset
|
14 # source ~/.bashrc above I don't think we have to here also. |
|
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
huston@80426f53-59d1-405d-934b-f07cd76f4a1a
parents:
0
diff
changeset
|
15 # export BASH_ENV=$HOME/.bashrc |
| 0 | 16 |
| 17 #if [ "X$SSH_AUTH_SOCK" = "X" ] ; then | |
| 18 # eval `/usr/bin/ssh-agent` | |
| 19 #fi |
