Advertisement
SpiderLordCoder1st

Untitled

Jul 29th, 2024
43
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.30 KB | None | 0 0
  1. (vscode-with-extensions.override {
  2. vscodeExtensions = with vscode-extensions; [
  3. # MS-vsliveshare.vsliveshare
  4. # MS-vsliveshare.vsliveshare
  5. bbenoist.nix
  6. ms-python.python
  7. ms-vscode-remote.remote-containers
  8. ms-vscode-remote.remote-ssh
  9. # go
  10. # go-dev.golang-Go
  11. rust-lang.rust-analyzer
  12. ms-azuretools.vscode-docker
  13. #go.dev
  14. #rust-lang.rust-analyzer
  15. #GitHub.codespaces
  16. # MS-vsliveshare.vsliveshare
  17. eamodio.gitlens
  18. ] ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [
  19. {
  20. # name = "gitlens";
  21. # publisher = "eamodio";
  22. name = "codespaces";
  23. publisher = "Github";
  24. version = "1.16.17";
  25. sha256 = "e9c47ef5f69b8cba144f2dc4038f6aaef4274c52b45c6b533008a3db897d546a";
  26. }
  27. {
  28. name = "remote-ssh-edit";
  29. publisher = "ms-vscode-remote";
  30. version = "0.47.2";
  31. sha256 = "1hp6gjh4xp2m1xlm1jsdzxw9d8frkiidhph6nvl24d0h8z34w49g";
  32. }
  33. {
  34. name = "golang.Go";
  35. publisher = "go.dev";
  36. version = "0.42.0";
  37. sha256 = "f47c9ee44ccbb181fc5f718de3ee27de3349d4f603ec155fccef332a882141d5";
  38. }
  39. # {
  40. # name = "vsliveshare";
  41. # publisher = "Microsoft";
  42. # version = "1.0.5918"
  43.  
  44. # }
  45. ];
  46. })
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement