diff --git a/flake.nix b/flake.nix
index 41b311f..a692a9f 100644
--- a/flake.nix
+++ b/flake.nix
@@ -18,7 +18,7 @@
           {
             home-manager.useGlobalPkgs = true;
             home-manager.useUserPackages = true;
-            home-manager.users.hms = ./home-manager/home.nix;
+            home-manager.users.hms = ./home/home.nix;
           }
         ];
       };
diff --git a/home-manager/home.nix b/home/home.nix
similarity index 96%
rename from home-manager/home.nix
rename to home/home.nix
index 6837a11..23f1641 100644
--- a/home-manager/home.nix
+++ b/home/home.nix
@@ -37,6 +37,7 @@
       ":q" = "exit";
       "h" = "hx";
       "o" = "xdg-open";
+      "update" = "sudo nixos-rebuild switch --flake ~/dev/nixos";
     };
 
     stateVersion = "25.11";
diff --git a/devshells/ocaml/flake.lock b/shells/ocaml/flake.lock
similarity index 100%
rename from devshells/ocaml/flake.lock
rename to shells/ocaml/flake.lock
diff --git a/devshells/ocaml/flake.nix b/shells/ocaml/flake.nix
similarity index 100%
rename from devshells/ocaml/flake.nix
rename to shells/ocaml/flake.nix
diff --git a/devshells/why3/flake.lock b/shells/why3/flake.lock
similarity index 100%
rename from devshells/why3/flake.lock
rename to shells/why3/flake.lock
diff --git a/devshells/why3/flake.nix b/shells/why3/flake.nix
similarity index 100%
rename from devshells/why3/flake.nix
rename to shells/why3/flake.nix