2022-03-20 16:12:55 +00:00
|
|
|
{ pkgs, ... }: {
|
|
|
|
programs.vscode = {
|
|
|
|
enable = true;
|
2022-03-20 18:19:46 +00:00
|
|
|
mutableExtensionsDir = false;
|
2022-03-20 16:59:55 +00:00
|
|
|
extensions = (with pkgs.vscode-extensions; [
|
|
|
|
arrterian.nix-env-selector
|
|
|
|
bbenoist.nix
|
|
|
|
eamodio.gitlens
|
|
|
|
github.copilot
|
|
|
|
jnoortheen.nix-ide
|
|
|
|
matklad.rust-analyzer
|
|
|
|
ms-vscode-remote.remote-ssh
|
|
|
|
serayuzgur.crates
|
|
|
|
tamasfe.even-better-toml
|
|
|
|
ritwickdey.liveserver
|
|
|
|
vadimcn.vscode-lldb
|
|
|
|
vscodevim.vim
|
|
|
|
yzhang.markdown-all-in-one
|
|
|
|
]) ++ pkgs.vscode-utils.extensionsFromVscodeMarketplace [{
|
|
|
|
name = "rust-doc-viewer";
|
|
|
|
publisher = "jscearcy";
|
|
|
|
version = "2.0.1";
|
|
|
|
sha256 = "sha256-bVWM3RlcXY0+fACKrOtq63dHo0neyaw/TuhUxwCxeYs=";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "cargo";
|
|
|
|
publisher = "panicbit";
|
|
|
|
version = "0.2.3";
|
|
|
|
sha256 = "sha256-B0oLZE8wtygTaUX9/qOBg9lJAjUUg2i7B2rfSWJerEU=";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "vscode-rust-test-adapter";
|
|
|
|
publisher = "swellaby";
|
|
|
|
version = "0.11.0";
|
|
|
|
sha256 = "sha256-IgfcIRF54JXm9l2vVjf7lFJOVSI0CDgDjQT+Hw6FO4Q=";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "discord-vscode";
|
|
|
|
publisher = "icrawl";
|
|
|
|
version = "5.8.0";
|
|
|
|
sha256 = "sha256-IU/looiu6tluAp8u6MeSNCd7B8SSMZ6CEZ64mMsTNmU=";
|
2022-03-20 17:42:40 +00:00
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "vscode-test-explorer";
|
|
|
|
publisher = "hbenl";
|
|
|
|
version = "2.21.2";
|
|
|
|
sha256 = "sha256-fHyePd8fYPt7zPHBGiVmd8fRx+IM3/cSBCyiI/C0VAg=";
|
2022-03-20 18:19:46 +00:00
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "test-adapter-converter";
|
|
|
|
publisher = "ms-vscode";
|
|
|
|
version = "0.1.5";
|
|
|
|
sha256 = "sha256-nli4WJ96lL3JssNuwLCsthvphI7saFT2ktWQ46VNooc=";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "vsc-material-theme-icons";
|
|
|
|
publisher = "Equinusocio";
|
|
|
|
version = "2.2.1";
|
|
|
|
sha256 = "sha256-gcAlmvtNpfmM5dhubbc8dNAvyfDCEsSm/879xFDdvQ4=";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
name = "Theme-Paraisodark";
|
|
|
|
publisher = "gerane";
|
|
|
|
version = "0.0.4";
|
|
|
|
sha256 = "sha256-tAE69ShPzNg23KSnkYglIKhzsdrcRnMy8MlDEfBYSoI=";
|
2022-03-20 16:59:55 +00:00
|
|
|
}];
|
2022-03-20 16:12:55 +00:00
|
|
|
};
|
|
|
|
}
|