bin/play-rawk: The stream is served over HTTPS now.

[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