47:9e4577696f1e
Anton Shestakov <engored@ya.ru>, Thu, 04 Sep 2014 14:26:58 +0900
Better vcs sessions.

next change 51:8edd66f923ca
previous change 46:30828f540fe8

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
echo