[profile] / dot / bash-profile

### -*-bash-*-
###
### Bash startup things.

## Do the common shell profile things.
. "$HOME/.profile"

## Bash-specific hack: if we haven't run the `.bashrc' yet, and this shell is
## interactive, then run it now.
case ${__mdw_bashrc+t} in
  t) ;;
  *) if [ -t 0 ] && [ -r "$HOME/.bashrc" ]; then . "$HOME/.bashrc"; fi ;;
esac

###----- That's all, folks --------------------------------------------------
Commit	Line	Data
ca7933c9	1	### --bash--
59c9c0e4	2	###
74a53e28	3	### Bash startup things.
f617db13	4
74a53e28 MW	5	## Do the common shell profile things.
74a53e28 MW	6	. "$HOME/.profile"
f617db13	7
74a53e28 MW	8	## Bash-specific hack: if we haven't run the `.bashrc' yet, and this shell is
	9	## interactive, then run it now.
	10	case ${__mdw_bashrc+t} in
	11	t) ;;
	12	*) if [ -t 0 ] && [ -r "$HOME/.bashrc" ]; then . "$HOME/.bashrc"; fi ;;
93ba996d	13	esac
59c9c0e4 MW	14
59c9c0e4 MW	15	###----- That's all, folks --------------------------------------------------