(vscode-with-extensions.override {
    vscodeExtensions =
      with vscode-extensions;
      [
        #bbenoist.nix
        jnoortheen.nix-ide
        ms-python.python
        ms-azuretools.vscode-docker
        #        ms-vscode-remote.remote-ssh
        # ms-vscode.cpptools
        eamodio.gitlens

      ]
      ++ 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.26.1";
          sha256 = "sha256-uVE7sEO8XN3ArFpElUw25/BKyCOzF1EmZ5nHBkdoL/0=";
        }
        #        {
        #          name = "minifyall";
        #          publisher = "josee9988";
        #          version = "2.10";
        #        }
        {
          name = "platformio-ide";
          publisher = "platformio";
          version = "3.3.4";
          sha256 = "sha256-qfNz4IYjCmCMFLtAkbGTW5xnsVT8iDnFWjrgkmr2Slk=";
        }
      ];
  })