From ea22b2ce12537bf4e65bbe43d535861623f94245 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Krop=C3=A1=C4=8Dek?= Date: Tue, 24 Sep 2024 19:33:36 +0200 Subject: [PATCH] trying to fix extensions --- nixosModules/dev/ide.nix | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/nixosModules/dev/ide.nix b/nixosModules/dev/ide.nix index 161622c..6defd07 100644 --- a/nixosModules/dev/ide.nix +++ b/nixosModules/dev/ide.nix @@ -25,7 +25,14 @@ in with pkgs; [ zed-editor - vscodium + (vscode-with-extensions.override { + vscode = vscodium; + vscodeExtensions = with vscode-extensions; [ + jnoortheen.nix-ide + tamasfe.even-better-toml + ]; + } + ) ] ++ lib.optionals cfg.install-pycharm [ pkgs.jetbrains.pycharm-professional ]; };