diff --git a/bin/eufonctl.sh b/bin/eufonctl.sh new file mode 100755 index 0000000..63aac8b --- /dev/null +++ b/bin/eufonctl.sh @@ -0,0 +1,9 @@ +#!/usr/bin/env bash +SOCAT=socat +display=$1 +test -n "$display" || display=$WAYLAND_DISPLAY +test -n "$display" || display=wayland-0 + +socket_name="${XDG_RUNTIME_DIR}/kiwmi-repl.${display}.socket" + +${SOCAT} - unix-connect:$socket_name diff --git a/default.nix b/default.nix index bb862a6..38e092b 100644 --- a/default.nix +++ b/default.nix @@ -10,6 +10,7 @@ , gtk3 , gtk-layer-shell , lua5_3 +, socat } : let lua = lua5_3; @@ -63,5 +64,12 @@ stdenv.mkDerivation { webkitgtk ]; + installPhase = '' + mkdir -p $out/bin + substitute bin/eufon.sh $out/bin/eufon \ + --replace SOCAT=socat SOCAT=${socat}/bin/socat + chmod +x $out/bin/eufon + ''; + src = ./.; }