2023-04-08 13:53:58 +00:00
|
|
|
{ pkgs, ... }: {
|
|
|
|
programs.vscode = {
|
|
|
|
enable = true;
|
2023-08-23 17:37:57 +00:00
|
|
|
package = pkgs.vscode;
|
2023-08-13 12:58:38 +00:00
|
|
|
|
2023-04-08 13:53:58 +00:00
|
|
|
extensions = with pkgs.vscode-extensions; [
|
2023-05-26 19:26:22 +00:00
|
|
|
github.copilot
|
2023-06-15 18:36:13 +00:00
|
|
|
github.copilot-chat
|
2023-06-18 17:44:09 +00:00
|
|
|
github.vscode-pull-request-github
|
2023-05-26 19:26:22 +00:00
|
|
|
|
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-06-15 18:36:13 +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;
|
2023-07-01 08:52:52 +00:00
|
|
|
"github.copilot.enable" = { "*" = true; };
|
2023-05-07 21:30:38 +00:00
|
|
|
"nix.enableLanguageServer" = true;
|
|
|
|
"nix.serverPath" = "nil";
|
|
|
|
"nix.serverSettings"."nil"."formatting"."command" = [ "nixfmt" ];
|
2023-07-01 08:52:52 +00:00
|
|
|
"julia.enableTelemetry" = false;
|
|
|
|
"julia.symbolCacheDownload" = true;
|
2023-07-03 17:56:42 +00:00
|
|
|
"terminal.integrated.commandsToSkipShell" =
|
|
|
|
[ "language-julia.interrupt" ];
|
2023-04-08 13:53:58 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|