Steal idris's chez

home-manager/common/programs/devel.nix

@@ -90,9 +90,16 @@ with nLib; {
     (mkIf devel.raku { home.packages = with pkgs; [ rakudo zef ]; })
     # Idris 2 Development
     (mkIf devel.idris2 {
-      home.packages = with pkgs; [
+      home.packages = with pkgs;
+        let
+          is = inputs.idris2.packages."${pkgs.system}".idris2.buildInputs;
+          chz = findSingle
+            (drv: let name = drv.pname; in (lib.strings.hasPrefix "chez" name))
+            { } { } is;
+        in [
           inputs.idris2.packages."${pkgs.system}".idris2
           # chez
+          chz
           gmp
           rlwrap
         ];

home-manager/linux/programs/hyprland.nix

@@ -179,8 +179,8 @@ in with lib; {
         bind = SUPER SHIFT, 0, movetoworkspace, 10
 
         # Scroll through existing workspaces with F23 and F24
-        bind = , F23, workspace, e-1
+        bind = , code:201, workspace, e-1
-        bind = , F24, workspace, e+1
+        bind = , code:202, workspace, e+1
 
         # Move/resize windows with mainMod + LMB/RMB and dragging
         bindm = SUPER, mouse:272, movewindow
@@ -261,6 +261,7 @@ in with lib; {
         windowrulev2 = center,class:^(google-chrome)$,title:^(Open File)$
         windowrulev2 = float,class:^(org.kde.polkit-kde-authentication-agent-1)$
         windowrulev2 = center,class:^(org.kde.polkit-kde-authentication-agent-1)$
+        windowrulev2 = float,class:^(syncthingtray)$
 
         # Pavucontrol
         windowrule = center,pavucontrol

machines/levitation/passthrough.nix

@@ -82,6 +82,13 @@ in {
         "read only" = "no";
         "guest ok" = "no";
       };
+      Shared = {
+        path = "/home/nathan/Shared";
+        browesable = "yes";
+        "read only" = "no";
+        "guest ok" = "no";
+        "writable" = "yes";
+      };
     };
   };
 }