hosts/hyuganatsu/users/ahnwuoa/browser.nix

@@ -1,6 +1,5 @@
 {...}: let
-  mkProfiles = profiles:
-    builtins.listToAttrs (map (p: {
+  mkProfiles = profiles: builtins.listToAttrs (map (p: {
     name = "librewolf-${p}";
     value = {
       exec = "librewolf -P ${p}";
@@ -17,9 +16,7 @@
         "application/json"
       ];
     };
-      })
-      profiles);
-in {
+  }) 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]))