aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAnthony Wang2025-04-04 22:03:58 -0400
committerAnthony Wang2025-04-04 22:03:58 -0400
commit5569ea824c4d07588c85e90f76c58044c80a78a0 (patch)
tree94efb44fd6f732f7a7818f7c5eabd099f3d64a12
parent18cf3b2c04651dc451360cb591a92fae51807268 (diff)
Fix broken services, make /tmp a ramdisk
-rw-r--r--configuration.nix8
1 files changed, 5 insertions, 3 deletions
diff --git a/configuration.nix b/configuration.nix
index e0706bd..b3cbfce 100644
--- a/configuration.nix
+++ b/configuration.nix
@@ -37,6 +37,7 @@
boot.loader.systemd-boot.enable = true;
boot.loader.efi.canTouchEfiVariables = true;
boot.loader.timeout = 0;
+ boot.tmp.useTmpfs = true;
networking.hostName = "ThinkPad-X1-Yoga-Gen-6";
networking.networkmanager.enable = true;
@@ -91,9 +92,9 @@
# Dafny stuff
vscodium
+ dafny
dotnet-runtime
z3
- dafny
# Apps
maliit-keyboard
@@ -189,7 +190,8 @@
serviceConfig = {
# Wait a bit so the remote server can create the snapshot
# And wait for internet connectivity if we just woke up
- ExecStartPre = "sleep 10";
+ ExecStartPre = "${pkgs.coreutils}/bin/sleep 10";
+ User = lib.mkForce "root";
};
};
@@ -220,7 +222,7 @@
systemd.user.timers.rclone = {
wantedBy = [ "timers.target" ];
timerConfig = {
- onCalendar = "daily UTC";
+ OnCalendar = "daily UTC";
};
};