From 692bd1ecd32ebbf8063898a0e9002f4a9c276c99 Mon Sep 17 00:00:00 2001 From: Daniel Langbein Date: Mon, 30 Oct 2023 10:29:06 +0100 Subject: [PATCH] Raspberry Pi --- hosts/pi3bplus/configuration.nix | 3 +++ hosts/pi3bplus/hardware-configuration.nix | 8 ++++---- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/hosts/pi3bplus/configuration.nix b/hosts/pi3bplus/configuration.nix index 77b2bc0..7df5dec 100644 --- a/hosts/pi3bplus/configuration.nix +++ b/hosts/pi3bplus/configuration.nix @@ -13,6 +13,9 @@ kernelPackages = pkgs.linuxPackages_latest; supportedFilesystems = lib.mkForce [ "btrfs" "reiserfs" "vfat" "f2fs" "xfs" "ntfs" "cifs" ]; + + # Delete all files in /tmp during boot. + tmp.cleanOnBoot = true; }; networking.hostName = "pi3bplus"; # Define your hostname. diff --git a/hosts/pi3bplus/hardware-configuration.nix b/hosts/pi3bplus/hardware-configuration.nix index 954d38b..cee95e1 100644 --- a/hosts/pi3bplus/hardware-configuration.nix +++ b/hosts/pi3bplus/hardware-configuration.nix @@ -14,13 +14,13 @@ boot.extraModulePackages = [ ]; fileSystems."/" = - { device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888"; + { + #device = "/dev/mmcblk0p2"; + device = "/dev/disk/by-uuid/44444444-4444-4444-8888-888888888888"; fsType = "ext4"; }; - # TODO - #swapDevices = [ { device = "/swapfile"; size = 2048; } ]; - swapDevices = [ ]; + swapDevices = [ { device = "/swapfile"; size = 2048; } ]; # 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