Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (vscode-with-extensions.override {
- vscodeExtensions = with vscode-extensions; [
- # MS-vsliveshare.vsliveshare
- # MS-vsliveshare.vsliveshare
- bbenoist.nix
- ms-python.python
- ms-vscode-remote.remote-containers
- ms-vscode-remote.remote-ssh
- # go
- # go-dev.golang-Go
- rust-lang.rust-analyzer
- ms-azuretools.vscode-docker
- #go.dev
- #rust-lang.rust-analyzer
- #GitHub.codespaces
- # MS-vsliveshare.vsliveshare
- eamodio.gitlens
- ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
- {
- # name = "gitlens";
- # publisher = "eamodio";
- name = "codespaces";
- publisher = "Github";
- version = "1.16.17";
- sha256 = "e9c47ef5f69b8cba144f2dc4038f6aaef4274c52b45c6b533008a3db897d546a";
- }
- {
- name = "remote-ssh-edit";
- publisher = "ms-vscode-remote";
- version = "0.47.2";
- sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g";
- }
- {
- name = "golang.Go";
- publisher = "go.dev";
- version = "0.42.0";
- sha256 = "f47c9ee44ccbb181fc5f718de3ee27de3349d4f603ec155fccef332a882141d5";
- }
- # {
- # name = "vsliveshare";
- # publisher = "Microsoft";
- # version = "1.0.5918"
- # }
- ];
- })
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement