programs/killwm

   1 #!/bin/bash
   2
   3 # restart instantWM from cli
   4
   5 if ! [ -e /tmp/wmpid ]; then
   6     if pgrep instantwm; then
   7         pkill instantwm
   8         exit
   9     fi
  10 else
  11     WMPID="$(cat /tmp/wmpid)"
  12     if kill -0 "$WMPID"; then
  13         kill "$WMPID"
  14         rm /tmp/wmpid
  15         exit
  16     fi
  17 fi
  18
  19 echo "no running window manager found"