eufon

commit 5a5e1de965c85a5169440984a6c5f1c0e701c3b7
parent c980f7fe20b16361f08272cd1d3702f7aee0f477
Author: Daniel Barlow <dan@telent.net>
Date:   Mon, 11 Jul 2022 23:17:22 +0000

add eufonctl script

Diffstat:
A
bin/eufonctl.sh
 | 
9
+++++++++
M
default.nix
 | 
8
++++++++

2 files changed, 17 insertions(+), 0 deletions(-)
diff --git a/bin/eufonctl.sh 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
@@ -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 = ./.;
 }