Reset terminal to sane state after exiting on linux - without clearing the scrollback.

develop
Petr Mrázek 2012-07-12 02:51:00 +02:00
parent f0393a62f5
commit 493b059f4c
1 changed files with 1 additions and 3 deletions

@ -14,8 +14,6 @@
# DF_GDB_OPTS: Options to pass to gdb, if it's being run
# DF_VALGRIND_OPTS: Options to pass to valgrind, if it's being run
# DF_HELGRIND_OPTS: Options to pass to helgrind, if it's being run
# DF_RESET_OPTS: Options to pass the reset command at the end of
# this script
# DF_POST_CMD: Shell command to be run at very end of script
DF_DIR=$(dirname "$0")
@ -68,7 +66,7 @@ case "$1" in
esac
# Reset terminal to sane state in case of a crash
# reset $DF_RESET_OPTS
printf '\033[3g\033[0m\033[?25h\033(B\017\033%%G'
if [ -n "$DF_POST_CMD" ]; then
eval $DF_POST_CMD