home-manager/common/programs/devel.nix

@@ -90,16 +90,9 @@ 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 = , code:201, workspace, e-1
+        bind = , F23, workspace, e-1
-        bind = , code:202, workspace, e+1
+        bind = , F24, workspace, e+1
 
         # Move/resize windows with mainMod + LMB/RMB and dragging
         bindm = SUPER, mouse:272, movewindow
@@ -261,7 +261,6 @@ 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,13 +82,6 @@ in {
         "read only" = "no";
         "guest ok" = "no";
       };
-      Shared = {
-        path = "/home/nathan/Shared";
-        browesable = "yes";
-        "read only" = "no";
-        "guest ok" = "no";
-        "writable" = "yes";
-      };
     };
   };
 }