[profile] / dot / shell-logout

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

## If there's a local hook, then run it.
if [ -f "$HOME/.logout-local" ]; then . "$HOME/.logout-local"; fi
Commit	Line	Data
ca7933c9	1	### --bash--
59c9c0e4 MW	2	###
59c9c0e4 MW	3	### Bash logout things
f617db13	4
59c9c0e4	5	## If there's a local hook, then run it.
74a53e28	6	if [ -f "$HOME/.logout-local" ]; then . "$HOME/.logout-local"; fi