From 945602c95dbd54c3d952e049e370ece6a7fbff07 Mon Sep 17 00:00:00 2001 From: Mike Vink <59492084+ivi-vink@users.noreply.github.com> Date: Wed, 1 Jan 2025 10:04:57 +0000 Subject: clean --- mut/bin/desktop-open-pipe | 13 +++++++++++++ mut/bin/xdg-open | 2 +- mut/bin/xdg-open-pipe | 9 --------- mut/ghostty/config | 1 + 4 files changed, 15 insertions(+), 10 deletions(-) create mode 100755 mut/bin/desktop-open-pipe delete mode 100755 mut/bin/xdg-open-pipe (limited to 'mut') 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 diff --git a/mut/bin/xdg-open b/mut/bin/xdg-open index af5b213..6a5d254 100755 --- a/mut/bin/xdg-open +++ b/mut/bin/xdg-open @@ -1,2 +1,2 @@ #!/bin/bash -echo "$@" | tee "$HOME/.xdg-open-pipe" +echo "$@" | tee "$HOME/.cache/desktop-open.pipe" diff --git a/mut/bin/xdg-open-pipe b/mut/bin/xdg-open-pipe deleted file mode 100755 index 7ae22e1..0000000 --- a/mut/bin/xdg-open-pipe +++ /dev/null @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -pipe="$HOME/.xdg-open-pipe" -rm "$pipe" -mkfifo "$pipe" -while true; do - { - /nix/store/zcw13r2mmpzlnv2yvfl13mcpky3hivq1-system-path/bin/xdg-open "$(cat "$pipe")" -} >/dev/null 2>&1 -done diff --git a/mut/ghostty/config b/mut/ghostty/config index dafa2b7..656cc20 100644 --- a/mut/ghostty/config +++ b/mut/ghostty/config @@ -8,6 +8,7 @@ keybind = alt+shift+k=increase_font_size:1 keybind = alt+shift+j=decrease_font_size:1 keybind = ctrl+zero=unbind +keybind = ctrl+enter=unbind theme=GruvboxLuke window-decoration=false confirm-close-surface=false -- cgit v1.2.3