Gently kill em all

cppsm · Sep 7, 2019 · a64619c · a64619c
1 parent 278b19f
commit a64619c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/travis-ci b/travis-ci
@@ -137,3 +137,6 @@ if [ "$TRAVIS_OS_NAME" = osx ]; then
   [ "$FORMAT_CHECK" = 0 ] || folded ... finish FORMAT_INSTALL_PID
   [ "$FORMAT_CHECK" = 0 ] || folded 'Format check' format-check
 fi
+
+# shellcheck disable=SC2046
+kill $(ps -xf | grep -o "^ \\+[0-9]\\+ \\+\\([0-9]\\+\\) \\+$$" | sed -e 's#^ *[0-9]* *##g' -e 's# *[0-9]*$##g')