From 8ecbdb046370649ed22b6f9be9d1e18a09f00754 Mon Sep 17 00:00:00 2001
From: Jakob Lechner <mail@jalr.de>
Date: Wed, 9 Apr 2025 21:45:38 +0200
Subject: [PATCH] Remove tin

---
 hosts/default.nix                    |  4 --
 hosts/tin/configuration.nix          | 32 ----------------
 hosts/tin/hardware-configuration.nix | 56 ----------------------------
 3 files changed, 92 deletions(-)
 delete mode 100644 hosts/tin/configuration.nix
 delete mode 100644 hosts/tin/hardware-configuration.nix

diff --git a/hosts/default.nix b/hosts/default.nix
index 7f460c8..aa78b0f 100644
--- a/hosts/default.nix
+++ b/hosts/default.nix
@@ -23,10 +23,6 @@ in
     system = "x86_64-linux";
     targetHost = "magnesium.jalr.de";
   };
-  tin = {
-    system = "x86_64-linux";
-    targetHost = "tin.lan.bw.jalr.de";
-  };
   copper = {
     system = "x86_64-linux";
     targetHost = "copper.lan.bw.jalr.de";
diff --git a/hosts/tin/configuration.nix b/hosts/tin/configuration.nix
deleted file mode 100644
index 03af0d7..0000000
--- a/hosts/tin/configuration.nix
+++ /dev/null
@@ -1,32 +0,0 @@
-# Edit this configuration file to define what should be installed on
-# your system. Help is available in the configuration.nix(5) man page, on
-# https://search.nixos.org/options and in the NixOS manual (`nixos-help`).
-
-{ config, lib, pkgs, ... }:
-
-{
-  imports = [
-    ./hardware-configuration.nix
-    ../../users/jalr
-  ];
-
-  networking = {
-    hostName = "tin";
-    useDHCP = false;
-  };
-
-  system.stateVersion = "23.11"; # Did you read the comment?
-
-  jalr = {
-    bootloader = "systemd-boot";
-    bluetooth.enable = true;
-    uefi.enable = true;
-    gui.enable = true;
-    gui.desktop = "gnome";
-    workstation.enable = true;
-    sdr.enable = false;
-    #autologin.enable = true;
-    #autologin.username = "jal";
-  };
-}
-
diff --git a/hosts/tin/hardware-configuration.nix b/hosts/tin/hardware-configuration.nix
deleted file mode 100644
index a797e49..0000000
--- a/hosts/tin/hardware-configuration.nix
+++ /dev/null
@@ -1,56 +0,0 @@
-# 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, ... }:
-
-{
-  imports =
-    [
-      (modulesPath + "/installer/scan/not-detected.nix")
-    ];
-
-  boot.initrd.availableKernelModules = [ "xhci_pci" "ehci_pci" "ahci" "usbhid" "usb_storage" "sd_mod" ];
-  boot.initrd.kernelModules = [ ];
-  boot.kernelModules = [ "kvm-intel" ];
-  boot.extraModulePackages = [ ];
-
-  fileSystems."/" =
-    {
-      device = "/dev/disk/by-uuid/a939bba5-2eb2-4e9f-97f8-7d1604cb3f76";
-      fsType = "btrfs";
-      options = [ "compress=zstd" "subvol=root" ];
-    };
-
-  fileSystems."/home" =
-    {
-      device = "/dev/disk/by-uuid/a939bba5-2eb2-4e9f-97f8-7d1604cb3f76";
-      fsType = "btrfs";
-      options = [ "compress=zstd" "subvol=home" ];
-    };
-
-  fileSystems."/nix" =
-    {
-      device = "/dev/disk/by-uuid/a939bba5-2eb2-4e9f-97f8-7d1604cb3f76";
-      fsType = "btrfs";
-      options = [ "compress=zstd" "subvol=nix" ];
-    };
-
-  fileSystems."/boot" =
-    {
-      device = "/dev/disk/by-uuid/BC71-DDC2";
-      fsType = "vfat";
-      options = [ "fmask=0022" "dmask=0022" ];
-    };
-
-  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
-  # still possible to use this option, but it's recommended to use it in conjunction
-  # with explicit per-interface declarations with `networking.interfaces.<interface>.useDHCP`.
-  networking.useDHCP = lib.mkDefault true;
-  # networking.interfaces.enp0s25.useDHCP = lib.mkDefault true;
-
-  nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";
-  hardware.cpu.intel.updateMicrocode = lib.mkDefault config.hardware.enableRedistributableFirmware;
-}