infrastructure/hosts/neodymium/home/vscode/default.nix

61 lines
1.9 KiB
Nix
Raw Normal View History

2023-04-08 13:53:58 +00:00
{ pkgs, ... }: {
programs.vscode = {
enable = true;
package = (pkgs.vscode.override { isInsiders = true; }).overrideAttrs
(oldAttrs: {
src = (builtins.fetchTarball {
url =
2023-05-26 19:26:22 +00:00
"https://code.visualstudio.com/sha/download?build=insider&os=linux-x64#2023-05-26";
sha256 = "1cgrn4n6y348x0c7ndmn5vssvpj1sdk27bp91cayr27fb59lgmv9";
});
pname = "vscode-insiders";
version = "latest";
});
2023-04-08 13:53:58 +00:00
extensions = with pkgs.vscode-extensions; [
2023-05-26 19:26:22 +00:00
github.copilot
# github.copilot-chat
2023-04-08 13:53:58 +00:00
eamodio.gitlens
2023-04-19 20:09:44 +00:00
editorconfig.editorconfig
ms-vsliveshare.vsliveshare
2023-04-08 13:53:58 +00:00
yzhang.markdown-all-in-one
2023-04-19 20:09:44 +00:00
tamasfe.even-better-toml
mkhl.direnv
2023-05-07 21:30:38 +00:00
jnoortheen.nix-ide
2023-04-08 13:53:58 +00:00
catppuccin.catppuccin-vsc
2023-05-07 21:30:38 +00:00
# catppuccin.catppuccin-vsc-icons
2023-04-08 13:53:58 +00:00
];
userSettings = {
"editor.fontFamily" = "'FiraCode Nerd Font Mono', 'Noto Color Emoji'";
"editor.fontLigatures" = true;
"editor.formatOnSave" = true;
"git.autofetch" = true;
"git.confirmSync" = false;
"git.enableSmartCommit" = true;
"terminal.integrated.fontFamily" =
"'FiraCode Nerd Font Mono', 'Noto Color Emoji'";
"window.menuBarVisibility" = "toggle";
"window.zoomLevel" = -0.25;
"workbench.colorTheme" = "Catppuccin Mocha";
"workbench.editor.untitled.hint" = "hidden";
2023-04-19 20:09:44 +00:00
"workbench.iconTheme" = "catppuccin-mocha";
2023-04-08 13:53:58 +00:00
"gitlens.telemetry.enabled" = false;
"telemetry.telemetryLevel" = "off";
"editor.inlineSuggest.enabled" = true;
"liveshare.presence" = true;
"github.copilot.enable" = {
"*" = true;
"yaml" = false;
"plaintext" = false;
"markdown" = true;
};
2023-05-07 21:30:38 +00:00
"nix.enableLanguageServer" = true;
"nix.serverPath" = "nil";
"nix.serverSettings"."nil"."formatting"."command" = [ "nixfmt" ];
2023-04-08 13:53:58 +00:00
};
};
}