display connect/disconnect

1 files changed, 3 insertions, 0 deletions

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 = {