diff options
| author | makefu <github@syntax-fehler.de> | 2023-09-28 23:22:59 +0200 |
|---|---|---|
| committer | makefu <github@syntax-fehler.de> | 2023-09-28 23:22:59 +0200 |
| commit | 2db6777b7caa37477c5ffddd99d69b2f2c6d9d7f (patch) | |
| tree | a72905fad73089b7ab295a948eda837bad013362 /tv/5pkgs/simple/xkiller.nix | |
| parent | 29d72c898d674d2c18fc0f4a76b5e623de0c3dfe (diff) | |
| parent | 0215fbddccf206801d94f52518cbfec91ccc3cc5 (diff) | |
Merge remote-tracking branch 'lass/master'
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 8d8f01690..000000000 --- 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 -'' |