home

commit f7f43a60e2d74002d957d67f9651cc817e24adcf
parent b7b423a41ae57af2293f55d1e11c5af4619f56a3
Author: Vincent Demeester <vincent@sbr.pm>
Date:   Fri, 14 Jun 2019 17:27:09 +0200

profiles.vscode: enable remote-ssh extensions

Signed-off-by: Vincent Demeester <vincent@sbr.pm>

Diffstat:
M
modules/profiles/vscode.nix
 | 
19
+++++++++++++++++++

1 file changed, 19 insertions(+), 0 deletions(-)
diff --git a/modules/profiles/vscode.nix b/modules/profiles/vscode.nix
@@ -25,9 +25,28 @@ in
         "editor.minimap.enabled" = false;
         "window.titleBarStyle"= "custom";
         "breadcrumbs.enabled" = true;
+        "go.useLanguageServer" = true;
       };
       extensions = pkgs.vscode-utils.extensionsFromVscodeMarketplace [
           {
+            name = "remote-ssh";
+            publisher = "ms-vscode-remote";
+            version = "0.42.2";
+            sha256 = "0aqjlbndiq1q8gh4dkj68sbr56ya458c8xh7f8bkhw5rnmz31pj5";
+          }
+          {
+            name = "remote-ssh-edit";
+            publisher = "ms-vscode-remote";
+            version = "0.42.2";
+            sha256 = "0qkdz1ng5mk35x8awa9wavb138hd454da8gsf7m66xyfifsmcn6h";
+          }
+          {
+            name = "remote-ssh-explorer";
+            publisher = "ms-vscode-remote";
+            version = "0.42.2";
+            sha256 = "02wg1bvl9923ldxlkj0qdlpf0njrd2r805561dkw5yp8siiim768";
+          }
+          {
             name = "EditorConfig";
             publisher = "EditorConfig";
             version = "0.12.4";