- { pkgs, ... }:
-
- let
- extensions = pkgs.vscode-utils.extensionsFromVscodeMarketplace [
- {
- name = "python";
- publisher = "ms-python";
- version = "2021.5.842923320";
- sha256 =
- "183ram995n9dqg7d9g3bn30a1mg7nkkg4knr814f4j9lqzsai22r";
- }
- {
- name = "jupyter";
- publisher = "ms-toolsai";
- version = "2021.6.841665333";
- sha256 =
- "5ec549453ade486e7eecedfcf5dc697e13efaf0f071b6ea938b5972e5c3fb7a1";
- }
- ];
- vscode-with-extensions =
- pkgs.vscode-with-extensions.override { vscodeExtensions = extensions; };
- in { config = { environment.systemPackages = [ vscode-with-extensions ]; }; }