From fbd485cd86c7e9984819357398f912a2d5510845 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 12 Sep 2023 12:56:39 +0200
Subject: tv: emigrate

---
 tv/5pkgs/simple/xkiller.nix | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100644 tv/5pkgs/simple/xkiller.nix

(limited to 'tv/5pkgs/simple/xkiller.nix')

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
-''
-- 
cgit v1.2.3