[profile] / dot / bash_logout

### -*-sh-*-
###
### Bash logout things

## If there's a local hook, then run it.
[ -f "$HOME/.bash_logout-local" ] && . "$HOME/.bash_logout-local"
Commit	Line	Data
59c9c0e4 MW	1	### --sh--
	2	###
	3	### Bash logout things
f617db13	4
59c9c0e4 MW	5	## If there's a local hook, then run it.
59c9c0e4 MW	6	[ -f "$HOME/.bash_logout-local" ] && . "$HOME/.bash_logout-local"