Small changes on nixos

home/alacritty/alacritty.nix

@@ -54,7 +54,7 @@ esac";
     };
     mouse.hide_when_typing = stdenv.isDarwin;
     font = {
-      normal.family = "uzura_font";
+      normal.family = "SAX2";
       size = font-size;
     };
     colors.primary = {

home/common.nix

@@ -39,13 +39,15 @@ in rec {
       pyusb usbtmc
       ipython mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
     ]))
-    ( agda.withPackages (ps: with ps; [ standard-library cubical ]) )
+    sqlite-interactive
     typst
 
     # nodePackages.typescript
     # nodePackages.typescript-language-server
     zulip-term
 
+    ngspice
+
     # (extras.challtools python311Packages)
   ];
 

nixos/graphical.nix

@@ -29,6 +29,8 @@ in
   services.desktopManager.plasma6.enable = true;
   services.displayManager.defaultSession = "plasma";
 
+  services.mullvad-vpn.enable = true;
+
   hardware.opengl.enable = true;
 
   console.useXkbConfig = true;
@@ -55,6 +57,7 @@ in
     stilo-themes
 
     firefox
+    thunderbird
     glxinfo
     start-plasma-shortcut
   ];

nixos/kblayouts/fox-symbols.xkb

@@ -56,4 +56,7 @@ xkb_symbols "fox" {
 
   include "level3(lalt_switch)"
   key <RTSH> { [ Alt_R ] };
+  # key <RALT> { [ Super_L ] };
+  key <LWIN> { [ Super_L ] };
+  key <RWIN> { [ Shift_L ] };
 };

nixos/machines/foxhut/boot.nix

@@ -23,5 +23,9 @@
     mountPoint = "/home/xenia/foxshare";
     options = ["uid=${builtins.toString config.users.users.xenia.uid}" "nofail"];
   };
+  swapDevices = [{
+    device = "/swap";
+    size = 16 * 1024; # 16GB
+  }];
 }