hosts: rename hostnames to lowercase

- Following RFC 952 and RFC 1123.
  Hostnames are not case-sensitive; however, uppercase letters were typically avoided to enhance readability.

- I accidentally rm -rf'ed ./git, had to re-commit everything

flake.nix

@@ -141,12 +141,12 @@
 
     ### NixOS
     nixosConfigurations = {
-      "Aristotle" = mkNixOS "x86_64-linux" [./hosts/Aristotle];
+      "aristotle" = mkNixOS "x86_64-linux" [./hosts/aristotle];
     };
 
     ### Darwin
     darwinConfigurations = {
-      "Plato" = mkDarwin "x86_64-darwin" [./hosts/Plato];
+      "plato" = mkDarwin "x86_64-darwin" [./hosts/plato];
     };
   };
 }

hosts/aristotle/default.nix

@@ -15,7 +15,7 @@
     ../../nixos/profiles/common/opt-in/disko.nix
   ];
 
-  networking.hostName = "Aristotle";
+  networking.hostName = "aristotle";
   time.timeZone = "Asia/Shanghai";
   _module.args.disks = ["/dev/nvme0n1"]; # Disko
 }

hosts/plato/default.nix

@@ -7,7 +7,7 @@
     ./hardware-configuration.nix
   ];
 
-  networking.hostName = "Plato";
+  networking.hostName = "plato";
   time.timeZone = "Asia/Shanghai";
   system.stateVersion = 4;
 }