Nicer screen cleanup
authorcgeoffroy <geoffroy.chollon@thalesgroup.com>
Fri, 17 Mar 2017 09:14:39 +0000 (10:14 +0100)
committercgeoffroy <geoffroy.chollon@thalesgroup.com>
Thu, 23 Mar 2017 14:35:48 +0000 (15:35 +0100)
utils/ci/check_manual_usage_example.sh

index be69d3f..6b9bc3f 100755 (executable)
@@ -40,7 +40,7 @@ if ! screen --version | grep 'Screen version'; then
     screen --version | grep 'Screen version'
 fi
 # Initial cleanup
-pkill 'screen' || true
+pkill -f 'screen -L -S sonemu' || true
 screen -wipe || true
 rm -f screenlog.0