chiark / gitweb /
dot/gitconfig.in: Map author names through `.mailmap' if available.
[profile] / dot / bash-profile
... / ...
CommitLineData
1### -*-bash-*-
2###
3### Bash startup things.
4
5## Do the common shell profile things.
6. "$HOME/.profile"
7
8## Bash-specific hack: if we haven't run the `.bashrc' yet, and this shell is
9## interactive, then run it now.
10case ${__mdw_bashrc+t} in
11 t) ;;
12 *) if [ -t 0 ] && [ -r "$HOME/.bashrc" ]; then . "$HOME/.bashrc"; fi ;;
13esac
14
15###----- That's all, folks --------------------------------------------------