{ 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 ]; }; }