Laurent/infrastructure
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

🧑‍💻 update vscode extensions

Browse source
This commit is contained in:
Laureηt 2023-04-19 22:09:44 +02:00
parent 4dbe4190ab
commit a59a5d31b2
Signed by: Laurent
SSH key fingerprint: SHA256:kZEpW8cMJ54PDeCvOhzreNr4FSh6R13CMGH/POoO8DI
1 changed files with 11 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
hosts/neodymium/home/vscode/default.nix
View file

@ -3,18 +3,20 @@
enable = true; enable = true;
package = pkgs.vscode; package = pkgs.vscode;
extensions = with pkgs.vscode-extensions; [ extensions = with pkgs.vscode-extensions; [
github.copilot
eamodio.gitlens
editorconfig.editorconfig
ms-vsliveshare.vsliveshare
yzhang.markdown-all-in-one
tamasfe.even-better-toml
mkhl.direnv
bbenoist.nix bbenoist.nix
brettm12345.nixfmt-vscode brettm12345.nixfmt-vscode
ms-vsliveshare.vsliveshare
ms-python.vscode-pylance
eamodio.gitlens
yzhang.markdown-all-in-one
editorconfig.editorconfig
catppuccin.catppuccin-vsc catppuccin.catppuccin-vsc
file-icons.file-icons catppuccin.catppuccin-vsc-icons
]; ];
userSettings = { userSettings = {
"editor.fontFamily" = "'FiraCode Nerd Font Mono', 'Noto Color Emoji'"; "editor.fontFamily" = "'FiraCode Nerd Font Mono', 'Noto Color Emoji'";
@ -29,7 +31,7 @@
"window.zoomLevel" = -0.25; "window.zoomLevel" = -0.25;
"workbench.colorTheme" = "Catppuccin Mocha"; "workbench.colorTheme" = "Catppuccin Mocha";
"workbench.editor.untitled.hint" = "hidden"; "workbench.editor.untitled.hint" = "hidden";
"workbench.iconTheme" = "file-icons"; "workbench.iconTheme" = "catppuccin-mocha";
"gitlens.telemetry.enabled" = false; "gitlens.telemetry.enabled" = false;
"telemetry.telemetryLevel" = "off"; "telemetry.telemetryLevel" = "off";
"editor.inlineSuggest.enabled" = true; "editor.inlineSuggest.enabled" = true;