bertof/nix-dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Cleanup: sif hardware-config

Browse source
This commit is contained in:
Filippo Berto 2025-10-04 22:13:20 +02:00
parent 4843413986
commit e81d0a21e6
No known key found for this signature in database
GPG key ID: F1D17F9BCEC62FBC
1 changed files with 11 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

31
instances/sif/hardware-configuration.nix
View file

@ -1,16 +1,9 @@
# Do not modify this file! It was generated by ‘nixos-generate-config’ # Do not modify this file! It was generated by ‘nixos-generate-config’
# and may be overwritten by future invocations. Please make changes # and may be overwritten by future invocations. Please make changes
# to /etc/nixos/configuration.nix instead. # to /etc/nixos/configuration.nix instead.
{ config { config, lib, modulesPath, ... }: {
, lib imports = [ (modulesPath + "/installer/scan/not-detected.nix") ];
, modulesPath
, ...
}:
{
imports = [
(modulesPath + "/installer/scan/not-detected.nix")
];
boot = { boot = {
initrd = { initrd = {
availableKernelModules = [ availableKernelModules = [
@ -27,34 +20,32 @@
}; };
fileSystems = { fileSystems = {
"/" = "/" = {
{ device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539"; device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
fsType = "btrfs"; fsType = "btrfs";
options = [ "subvol=@root" ]; options = [ "subvol=@root" ];
}; };
"/nix" = "/nix" = {
{ device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539"; device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
fsType = "btrfs"; fsType = "btrfs";
options = [ "subvol=@nix" ]; options = [ "subvol=@nix" ];
}; };
"/home" = "/home" = {
{ device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539"; device = "/dev/disk/by-uuid/c3e09b0e-d2bc-4e28-a96e-5de7f4c10539";
fsType = "btrfs"; fsType = "btrfs";
options = [ "subvol=@home" ]; options = [ "subvol=@home" ];
}; };
"/boot" = "/boot" = {
{ device = "/dev/disk/by-uuid/2E59-DAA6"; device = "/dev/disk/by-uuid/2E59-DAA6";
fsType = "vfat"; fsType = "vfat";
options = [ "fmask=0022" "dmask=0022" ]; options = [ "fmask=0022" "dmask=0022" ];
}; };
}; };
swapDevices = [{ device = "/dev/disk/by-uuid/166f3bcd-7312-4864-9d2f-849da0a8fa79"; }];
swapDevices = [ { device = "/dev/disk/by-uuid/166f3bcd-7312-4864-9d2f-849da0a8fa79"; } ];
# Enables DHCP on each ethernet and wireless interface. In case of scripted networking # 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 # (the default) this is the recommended approach. When using systemd-networkd it's