flake.nix

@@ -34,7 +34,6 @@
         ./nixos/machines/tides/machine.nix
         ./home-manager/machines/wsl/home.nix
         ./home-manager/machines/crash/home.nix
-        ./home-manager/machines/tides/home.nix
         ./devshells/rust.nix
         ./devshells/idris2.nix
         ./devshells/raku.nix

home-manager/machines/tides/home.nix

@@ -1,54 +0,0 @@
-{
-  withSystem,
-  inputs,
-  ...
-}: {
-  # perSystem = { ... }: { config.packages.hello = ...; };
-
-  flake.homeConfigurations.tides = withSystem "tides-linux" (
-    ctx @ {
-      config,
-      inputs',
-      ...
-    }:
-      inputs.home-manager.lib.homeManagerConfiguration {
-        pkgs = inputs.nixpkgs.legacyPackages.${"x86_64-linux"};
-        extraSpecialArgs = {
-          inherit inputs inputs';
-          packages = config.packages;
-        };
-        modules = [
-          (
-            {
-              config,
-              lib,
-              pkgs,
-              ...
-            }: {
-              imports = [
-                ../../modules/programs/shell.nix
-                ../../modules/programs/neovim.nix
-                (import ../../modules/programs/git.nix {})
-                ../../modules/programs/core.nix
-                ../../modules/programs/ssh.nix
-              ];
-              home.username = "nathan";
-              home.homeDirectory = "/home/nathan/";
-              programs.command-not-found.enable = true;
-              home.stateVersion = "24.11";
-              programs.home-manager.enable = true;
-
-              # Allow unfree packages
-              nixpkgs.config.allowUnfree = true;
-
-              # Machine specific configuration
-              services.emacs.defaultEditor = true;
-
-              home.packages = with pkgs; [
-              ];
-            }
-          )
-        ];
-      }
-  );
-}

nixos/machines/tides/hardware.nix

@@ -1,34 +1,30 @@
 # Do not modify this file!  It was generated by ‘nixos-generate-config’
 # and may be overwritten by future invocations.  Please make changes
 # to /etc/nixos/configuration.nix instead.
+{ config, lib, pkgs, modulesPath, ... }:
+
 {
-  config,
+  imports =
-  lib,
+    [ (modulesPath + "/profiles/qemu-guest.nix")
-  pkgs,
+    ];
-  modulesPath,
-  ...
-}: {
-  imports = [
-    (modulesPath + "/profiles/qemu-guest.nix")
-  ];
 
-  boot.initrd.availableKernelModules = ["xhci_pci" "virtio_scsi"];
+  boot.initrd.availableKernelModules = [ "xhci_pci" "virtio_scsi" ];
-  boot.initrd.kernelModules = [];
+  boot.initrd.kernelModules = [ ];
-  boot.kernelModules = [];
+  boot.kernelModules = [ ];
-  boot.extraModulePackages = [];
+  boot.extraModulePackages = [ ];
 
-  fileSystems."/" = {
+  fileSystems."/" =
-    device = "/dev/disk/by-uuid/ebde67a3-7bb8-4453-953b-897440b1ced5";
+    { device = "/dev/disk/by-uuid/ebde67a3-7bb8-4453-953b-897440b1ced5";
-    fsType = "ext4";
+      fsType = "ext4";
-  };
+    };
 
-  fileSystems."/boot" = {
+  fileSystems."/boot" =
-    device = "/dev/disk/by-uuid/9119-BB6A";
+    { device = "/dev/disk/by-uuid/9119-BB6A";
-    fsType = "vfat";
+      fsType = "vfat";
-    options = ["fmask=0022" "dmask=0022"];
+      options = [ "fmask=0022" "dmask=0022" ];
-  };
+    };
 
-  swapDevices = [];
+  swapDevices = [ ];
 
   # Enables DHCP on each ethernet and wireless interface. In case of scripted networking
   # (the default) this is the recommended approach. When using systemd-networkd it's

nixos/machines/tides/machine.nix

@@ -5,7 +5,7 @@
 }: {
   # perSystem = { ... }: { config.packages.hello = ...; };
 
-  flake.nixosConfigurations.tides = withSystem "aarch64-linux" (
+  flake.nixosConfigurations.crash = withSystem "aarch64-linux" (
     ctx @ {
       config,
       inputs',

nixos/modules/base.nix

@@ -21,7 +21,6 @@
     nix-index
     curl
     wget
-    just
   ];
 
   system.stateVersion = "24.11";