diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run_valgrind.sh | 4 | ||||
| -rw-r--r-- | scripts/screenrc | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/scripts/run_valgrind.sh b/scripts/run_valgrind.sh index ed7e6ef..bccc34c 100755 --- a/scripts/run_valgrind.sh +++ b/scripts/run_valgrind.sh @@ -1,5 +1,5 @@ #! /usr/bin/env sh source ../scripts/python_env #valgrind --leak-check=full ./src/fruits/cmv/cmv "$@" -valgrind --leak-check=full --show-leak-kinds=all ./src/fruits/cmv/cmv "$@" -#valgrind --leak-check=no --show-error-list=yes ./src/fruits/cmv/cmv "$@" +#valgrind --leak-check=full --show-leak-kinds=all ./src/fruits/cmv/cmv "$@" +valgrind --leak-check=no --show-error-list=yes ./src/fruits/cmv/cmv "$@" diff --git a/scripts/screenrc b/scripts/screenrc index 3c9618c..6381a9e 100644 --- a/scripts/screenrc +++ b/scripts/screenrc @@ -4,7 +4,7 @@ mousetrack on defmousetrack on screen -t 'cmsrv' ./src/fruits/cmsrv/cmsrv split -resize -v 60% +resize -v 75% focus screen -t 'cmsrv_debug' stuff 'sleep 1 && gdb -p $(pgrep cmsrv) -ex cont
' |