diff options
| author | Mike Vink <59492084+ivi-vink@users.noreply.github.com> | 2025-01-01 10:04:57 +0000 |
|---|---|---|
| committer | Mike Vink <59492084+ivi-vink@users.noreply.github.com> | 2025-01-01 10:04:57 +0000 |
| commit | 945602c95dbd54c3d952e049e370ece6a7fbff07 (patch) | |
| tree | 1a189eb2497d9b3e413fba1896a7a9e739d9ce1f /mut/bin/desktop-open-pipe | |
| parent | 9b2131222a6724ec34af4fefc2cc2a540cdd7773 (diff) | |
clean
Diffstat (limited to 'mut/bin/desktop-open-pipe')
| -rwxr-xr-x | mut/bin/desktop-open-pipe | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/mut/bin/desktop-open-pipe b/mut/bin/desktop-open-pipe new file mode 100755 index 0000000..0ef1901 --- /dev/null +++ b/mut/bin/desktop-open-pipe @@ -0,0 +1,13 @@ +#!/usr/bin/env bash +name="$HOME/.cache/desktop-open.pipe" +while true; do + { + /nix/store/zcw13r2mmpzlnv2yvfl13mcpky3hivq1-system-path/bin/xdg-open "$(cat "$name")" +} >/dev/null 2>&1 +done + +finish () { + rm -vf "$name" +} + +trap finish EXIT |