Add srcpub alias to ssh

home/modules/baseline/ssh.nix

@@ -43,6 +43,11 @@
           user = "gitlab";
           hostname = "git.thehellings.lan";
         };
+        srcpub = {
+          user = "gitlab";
+          hostname = "src.thehellings.com";
+          port = 2222;
+        };
         ivr = {
           user = "git";
           hostname = "gitlab.com";

home/modules/vscodium.nix

@@ -57,6 +57,12 @@ in
             "asvetliakov.vscode-neovim" = 1;
           };
           "git.openRepositoryInParentFolders" = "always";
+          "github.copilot.enable" = {
+            "*" = false;
+            "plaintext" = false;
+            "markdown" = false;
+            "scminput" = false;
+          };
           "search.exclude" = {
             "**/.tox" = true;
           };
@@ -64,12 +70,6 @@ in
           "vscode-neovim.neovimInitVimPaths.darwin" = "~/.config/nvim/init.lua";
           "vscode-neovim.neovimInitVimPaths.linux" = "~/.config/nvim/init.lua";
           "workbench.settings.applyToAllProfiles" = [ "direnv.path.executable" ];
-          "github.copilot.enable" = {
-            "*" = false;
-            "plaintext" = false;
-            "markdown" = false;
-            "scminput" = false;
-          };
         };
       };
     };