From 2fd794ea64e5ecaec3b277f980efe677b8098bf8 Mon Sep 17 00:00:00 2001
From: Daniel Langbein <daniel@systemli.org>
Date: Fri, 18 Aug 2023 19:49:19 +0200
Subject: [PATCH] minor

---
 yodaTux/configuration.nix | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/yodaTux/configuration.nix b/yodaTux/configuration.nix
index d3de269..394e951 100644
--- a/yodaTux/configuration.nix
+++ b/yodaTux/configuration.nix
@@ -121,8 +121,10 @@
   # List packages installed in system profile. To search, run:
   # $ nix search wget
   environment.systemPackages = with pkgs; [
-  #  vim # Do not forget to add an editor to edit configuration.nix! The Nano editor is also installed by default.
-  #  wget
+    # Do not forget to add an editor to edit configuration.nix!
+    # The Nano editor is also installed by default.
+    # vim
+    # wget
   ];
 
   # Don't install all programs of the GNOME desktop.
@@ -160,6 +162,8 @@
     settings.PasswordAuthentication = false;
   };
 
+  nix.settings.auto-optimise-store = true;
+
   # Open ports in the firewall.
   # networking.firewall.allowedTCPPorts = [ ... ];
   # networking.firewall.allowedUDPPorts = [ ... ];