From ac3622102be1bb0891c20f23c22938cc264aaf6f Mon Sep 17 00:00:00 2001
From: GHOSCHT <31184695+GHOSCHT@users.noreply.github.com>
Date: Sun, 26 Nov 2023 16:38:38 +0100
Subject: [PATCH] Add TrentOS VSCode extensions

---
 modules/coding/vscode.nix | 41 +++++++++++++++++++++++++++++----------
 1 file changed, 31 insertions(+), 10 deletions(-)

diff --git a/modules/coding/vscode.nix b/modules/coding/vscode.nix
index ab4033a..8a33c9d 100644
--- a/modules/coding/vscode.nix
+++ b/modules/coding/vscode.nix
@@ -11,16 +11,37 @@ in {
       enable = true;
       package = pkgs.vscodium;
       enableUpdateCheck = false;
-      extensions = with pkgs.vscode-extensions; [
-        catppuccin.catppuccin-vsc
-        pkief.material-icon-theme
-        vscodevim.vim
-        bbenoist.nix
-        ms-python.python
-        ms-toolsai.jupyter
-        ms-toolsai.jupyter-renderers
-        ms-toolsai.jupyter-keymap
-      ];
+      extensions = with pkgs.vscode-extensions;
+        [
+          catppuccin.catppuccin-vsc
+          pkief.material-icon-theme
+          vscodevim.vim
+          bbenoist.nix
+          ms-python.python
+          ms-toolsai.jupyter
+          ms-toolsai.jupyter-renderers
+          ms-toolsai.jupyter-keymap
+        ]
+        ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
+          {
+            name = "remote-ssh-edit";
+            publisher = "ms-vscode-remote";
+            version = "0.47.2";
+            sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g";
+          }
+          {
+            name = "cpptools";
+            publisher = "ms-vscode";
+            version = "1.19.1";
+            sha256 = "sha256-yUZTLnN4nomFp5I0VgRz7rRMkeMU9QzY+dzEdUUASek=";
+          }
+          {
+            name = "camkes-syntax-highlighting";
+            publisher = "hensoldt-cyber-gmbh";
+            version = "1.1.3";
+            sha256 = "sha256-dRhsFGSjR/Vp5aJgMDwCZQtwmmfNXbM85ViTIq5ORwY=";
+          }
+        ];
       userSettings = {
         #Theming
         "workbench.colorTheme" = "Catppuccin Mocha";