hosts/hyuganatsu/users/ahnwuoa/browser.nix

@@ -1,25 +1,22 @@
 {...}: let
-  mkProfiles = profiles:
-    builtins.listToAttrs (map (p: {
-        name = "librewolf-${p}";
-        value = {
-          exec = "librewolf -P ${p}";
-          icon = "librewolf";
-          name = "Librewolf (${p})";
-          mimeType = [
-            "text/html"
-            "text/xml"
-            "application/xhtml+xml"
-            "x-scheme-handler/http"
-            "x-scheme-handler/https"
-            "application/x-xpinstall"
-            "application/pdf"
-            "application/json"
-          ];
-        };
-      })
-      profiles);
-in {
+  mkProfiles = profiles: builtins.listToAttrs (map (p: {
+    name = "librewolf-${p}";
+    value = {
+      exec = "librewolf -P ${p}";
+      icon = "librewolf";
+      name = "Librewolf (${p})";
+      mimeType = [
+        "text/html"
+        "text/xml"
+        "application/xhtml+xml"
+        "x-scheme-handler/http"
+        "x-scheme-handler/https"
+        "application/x-xpinstall"
+        "application/pdf"
+        "application/json"
+      ];
+    };
+  }) profiles); in {
   xdg.desktopEntries = mkProfiles [
     "default"
     "personal"

system/mnt.nix

@@ -3,8 +3,7 @@
   lib,
   pkgs,
   ...
-}:
-lib.mkIf (config.networking.hostName != "komikan") {
+}: lib.mkIf (config.networking.hostName != "komikan") {
   environment.systemPackages = [pkgs.cifs-utils];
   security.wrappers."mount.cifs" = {
     program = "mount.cifs";

user/prog.nix

@@ -23,8 +23,6 @@ lib.mkIf config.u.has.prog {
       patchelf
       lazygit
       pyp
-      coq
-      coqPackages.coqide
     ]
     ++ lib.optionals config.u.has.graphical [
       (cutter.withPlugins (ps: with ps; [jsdec rz-ghidra sigdb]))