[profile] / dot / bash-logout

### -*-bash-*-
###
### Bash logout things

## If there's a local hook, then run it.
[ -f "$HOME/.bash_logout-local" ] && . "$HOME/.bash_logout-local"
Commit	Line	Data
ca7933c9	1	### --bash--
59c9c0e4 MW	2	###
59c9c0e4 MW	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"