projects / osm / vim-emu.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9d9b779)
FIX pkill is case sensitive
authorcgeoffroy <geoffroy.chollon@thalesgroup.com>
Fri, 17 Mar 2017 10:22:47 +0000 (11:22 +0100)
committercgeoffroy <geoffroy.chollon@thalesgroup.com>
Thu, 23 Mar 2017 14:35:48 +0000 (15:35 +0100)
utils/ci/check_manual_usage_example.sh patch | blob | history

diff --git a/utils/ci/check_manual_usage_example.sh b/utils/ci/check_manual_usage_example.sh
index 15a6869..75faf39 100755 (executable)
--- a/utils/ci/check_manual_usage_example.sh
+++ b/utils/ci/check_manual_usage_example.sh
@@ -48,7 +48,7 @@ if ! timeout --version; then
     timeout --version
 fi
 # Initial cleanup
-pkill -f 'screen -L -S sonemu' || true
+pkill -f 'SCREEN -L -S sonemu' || true
 screen -wipe || true
 rm -f screenlog.0