174:2b4ab6c3384d
Anton Shestakov <av6@dwimlabs.net>, Sun, 17 Mar 2019 13:35:27 +0800
.bashrc: pip can find its own cache nowadays, but ccache needs to be in $PATH
previous change 51:8edd66f923ca

docs/prompt-session-exit.sh

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
#!/bin/false
# paste this into an interactive shell
kill -INT "$$" # the same as ^C
false