131:642440fd7edb
Anton Shestakov <av6@dwimlabs.net>, Sat, 29 Oct 2016 10:58:50 +0800
.bash_prompt: don't just replace "default" with nothing ("default-is-good")

previous change 51:8edd66f923ca

docs/prompt-session-exit.sh

Permissions: -rw-r--r--

Other formats: Feeds:
#!/bin/false
# paste this into an interactive shell
kill -INT "$$" # the same as ^C
false