diff options
author | tv <tv@krebsco.de> | 2023-02-05 03:37:49 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2023-02-05 03:37:49 +0100 |
commit | e44fe862f0bedc658aabd1daafb16376f188857e (patch) | |
tree | b786b6e5908c1d87cb316d68502da21e486e1ca1 | |
parent | 49788f82975ca43bcfae8671ef97d23c5a2288c7 (diff) |
xwaitforwindow: RIP
-rw-r--r-- | krebs/5pkgs/simple/xwaitforwindow.nix | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/krebs/5pkgs/simple/xwaitforwindow.nix b/krebs/5pkgs/simple/xwaitforwindow.nix deleted file mode 100644 index 41ce65022..000000000 --- a/krebs/5pkgs/simple/xwaitforwindow.nix +++ /dev/null @@ -1,15 +0,0 @@ -{ writeDashBin, xdotool, xorg }: -writeDashBin "xwaitforwindow" '' - # usage: xwaitforwindow ARGS - # see xdotool search for possible ARGS - # example: xwaitforwindow -name WINDOWNAME - set -efu - - if id=$(${xdotool}/bin/xdotool search "$@"); then - printf 'waiting for window %#x\n' "$id" >&2 - exec ${xorg.xprop}/bin/xprop -spy -id "$id" >/dev/null - else - printf 'no window found with xdotool search %s\n' "$*" >&2 - exit 1 - fi -'' |