Add nixfmt to Lint.hs

nixfmt is the soon-to-be official formatter for Nix code, as per the NixOS
GitHub group. So I figure I should just adopt it without worrying too much about
the specifics of the formatting. I just formatted everything in one go, hence
the huge diff, oh well.

1 files changed, 12 insertions, 9 deletions

diff --git a/Biz/Cloud/Git.nix b/Biz/Cloud/Git.nix
index 6e3d8c8..3ef4530 100644
--- a/Biz/Cloud/Git.nix
+++ b/Biz/Cloud/Git.nix
@@ -67,12 +67,15 @@ in {
       ];
       jvmOpts = [
         # https://stackoverflow.com/a/71817404
-        "--add-opens" "java.base/java.lang=ALL-UNNAMED"
-        "--add-opens" "java.base/java.util=ALL-UNNAMED"
+        "--add-opens"
+        "java.base/java.lang=ALL-UNNAMED"
+        "--add-opens"
+        "java.base/java.util=ALL-UNNAMED"
       ];
       plugins = [
         (pkgs.fetchurl {
-          url = "https://github.com/davido/gerrit-oauth-provider/releases/download/v3.5.1/gerrit-oauth-provider.jar";
+          url =
+            "https://github.com/davido/gerrit-oauth-provider/releases/download/v3.5.1/gerrit-oauth-provider.jar";
           sha256 = "sha256-MS3ElMRUrBX4miiflepMETRK3SaASqpqO3nUn9kq3Gk=";
         })
       ];
@@ -81,14 +84,16 @@ in {
       settings = {
         auth.type = "OAUTH";
         auth.gitBasicAuthPolicy = "HTTP";
-        download.command = [ "checkout" "cherry_pick" "pull" "format_patch"];
+        download.command = [ "checkout" "cherry_pick" "pull" "format_patch" ];
         gerrit.canonicalWebUrl = "https://gerrit.${domain}";
-        httpd.listenUrl = "proxy-https://${config.services.gerrit.listenAddress}";
+        httpd.listenUrl =
+          "proxy-https://${config.services.gerrit.listenAddress}";
         plugin.gerrit-oauth-provider-github-oauth = {
           root-url = "https://github.com";
           client-id = "e48084aa0eebe31a2b18";
         };
-        sshd.advertisedAddress = "gerrit.${domain}:${toString ports.gerrit-ssh}";
+        sshd.advertisedAddress =
+          "gerrit.${domain}:${toString ports.gerrit-ssh}";
         sshd.listenAddress = "[::]:${toString ports.gerrit-ssh}";
       };
     };
@@ -114,7 +119,5 @@ in {
     };
     "nginx".extraGroups = [ "git" ];
   };
-  users.groups = {
-    gitDaemon = {};
-  };
+  users.groups = { gitDaemon = { }; };
 }