jalr/nixos-configuration
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove tin

Browse source
This commit is contained in:
Jakob Lechner 2025-04-09 21:45:38 +02:00
parent ee89fbb072
commit 8ecbdb0463
3 changed files with 0 additions and 92 deletions
Download patch file Download diff file Expand all files Collapse all files

4
hosts/default.nix
View file

@ -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";

32
hosts/tin/configuration.nix
View file

@ -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";
};
}

56
hosts/tin/hardware-configuration.nix
View file

@ -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;
}