diff options
Diffstat (limited to 'tv/5pkgs/simple/xkiller.nix')
-rw-r--r-- | tv/5pkgs/simple/xkiller.nix | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/tv/5pkgs/simple/xkiller.nix b/tv/5pkgs/simple/xkiller.nix deleted file mode 100644 index 8d8f016..0000000 --- a/tv/5pkgs/simple/xkiller.nix +++ /dev/null @@ -1,25 +0,0 @@ -{ pkgs }: -pkgs.writeDash "xkiller" '' - set -efu - exec >&2 - ${pkgs.iproute}/bin/ss -lp src unix:/tmp/.X11-unix/X* | - ${pkgs.gnused}/bin/sed -n ' - s|.*/tmp/.X11-unix/X\([0-9]\+\)\>.*("X[^"]*",pid=\([0-9]\+\)\>.*|\1 \2|p - ' | - while read -r display pid; do - { - exit_code=$( - DISPLAY=:$display ${pkgs.coreutils}/bin/timeout 1 \ - ${pkgs.xorg.xset}/bin/xset q >/dev/null 2>&1 && - echo 0 || echo $? - ) - if test $exit_code = 124; then - echo "X on display :$display is locked up; killing PID $pid..." - ${pkgs.coreutils}/bin/kill -SIGKILL "$pid" - else - echo "X on display :$display is healthy" - fi - } & - done - wait -'' |