Download:
child 54:065779098328
parent 52:17b5c2356d70
53:89d19a889252
Anton Shestakov <engored@ya.ru>, Thu, 04 Sep 2014 20:26:57 +0900
Don't write prompt session in bash history.

1 файлов изменено, 1 вставок(+), 1 удалений(-) [+]
docs/make-screenshots.sh file | annotate | diff | comparison | revisions
--- a/docs/make-screenshots.sh Thu Sep 04 16:11:09 2014 +0900
+++ b/docs/make-screenshots.sh Thu Sep 04 20:26:57 2014 +0900
@@ -11,7 +11,7 @@
for what in 'exit' venv hg git root ; do
clear
- grep -v '^\s*\(#\|$\)' "./prompt-session-${what}.sh" | bash -i
+ grep -v '^\s*\(#\|$\)' "./prompt-session-${what}.sh" | HISTFILE= bash -i
sleep 1 # otherwise "$ exit" is in a superposition of showing and not showing
import -window $WINDOWID "./prompt-${what}.png"
mogrify -trim -background black -extent 800x "./prompt-${what}.png"