From ac696809b0c62f7f062a0dc155a4bf4a995cc9cf Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Tue, 3 Mar 2026 16:43:56 +0100
Subject: display connect/disconnect

---
 flake.nix | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'flake.nix')

diff --git a/flake.nix b/flake.nix
index 3c32dcc..90f47cb 100644
--- a/flake.nix
+++ b/flake.nix
@@ -17,6 +17,9 @@
       lean-shell = pkgs.mkShell {
         name = "Lean";
         packages = [ pkgs.lean4 pkgs.wayland pkgs.pkg-config ];
+        shellHook = pkgs.lib.optionalString pkgs.stdenv.isDarwin ''
+          export XDG_RUNTIME_DIR="$(pwd)/server"
+        '';
       };
     in {
     devShells = {
-- 
cgit v1.3.1