ssh: Add UCSB robbins server

flake.nix

@@ -6,11 +6,10 @@
       url = "github:nix-community/home-manager";
       inputs.nixpkgs.follows = "nixpkgs";
     };
-    vim-extra-plugins.url = "github:m15a/nixpkgs-vim-extra-plugins";
   };
 
   outputs =
-    inputs@{ self, nixpkgs, nixos-unstable, home-manager, vim-extra-plugins }:
+    inputs@{ self, nixpkgs, nixos-unstable, home-manager }:
     let
       x64System = "x86_64-linux";
       darwinSystem = "aarch64-darwin";
@@ -22,7 +21,6 @@
           config.allowUnfree = true;
           overlays = [
             (final: prev: { inherit unstable; })
-            vim-extra-plugins.overlays.default
           ];
         };
 

roles/home/neovim.nix

@@ -41,8 +41,6 @@
       (nvim-treesitter.withPlugins (_: pkgs.tree-sitter.allGrammars))
       nvim-treesitter-textobjects
       minimap-vim
-
-      pkgs.vimExtraPlugins.leap-nvim
     ];
 
     extraConfig = ''

roles/home/ssh.nix

@@ -11,6 +11,11 @@
         identityFile = "~/.ssh/architectproxy";
       };
       
+      "192.35.222.32" = {
+        user = "giulio";
+        identityFile = "~/.ssh/gitlab-ucsb";
+      };
+ 
       "tommy.devs.giugl.io" = {
         user = "giulio";
         identityFile = "~/.ssh/tommypc";