2024-01-07 09:47:54 +01:00
|
|
|
{ config, pkgs, ... }: {
|
2023-08-24 12:14:42 +02:00
|
|
|
programs.vscode = {
|
2024-01-07 09:52:43 +01:00
|
|
|
enable = false;
|
2023-08-24 12:14:42 +02:00
|
|
|
package = pkgs.vscodium;
|
2023-08-28 04:47:56 +02:00
|
|
|
enableUpdateCheck = false;
|
|
|
|
|
enableExtensionUpdateCheck = false;
|
2024-01-07 09:45:50 +01:00
|
|
|
extensions = with pkgs.vscode-extensions; [
|
|
|
|
|
waderyan.gitblame # See Git Blame info in status bar
|
|
|
|
|
vscodevim.vim # Vim keybinds
|
|
|
|
|
oderwat.indent-rainbow # Colorise indents
|
|
|
|
|
naumovs.color-highlight # Highlight HTML color codes
|
|
|
|
|
|
2024-01-07 09:51:28 +01:00
|
|
|
# Themes
|
2024-01-07 09:45:50 +01:00
|
|
|
enkia.tokyo-night
|
|
|
|
|
];
|
2024-01-07 09:52:43 +01:00
|
|
|
userSettings = {
|
|
|
|
|
# Theming:
|
|
|
|
|
"window.autoDetectColorScheme" = true;
|
|
|
|
|
"workbench.preferredLightColorTheme" = "Tokyo Night Light";
|
|
|
|
|
"workbench.preferredDarkColorTheme" = "Tokyo Night";
|
|
|
|
|
"workbench.colorTheme" = "Tokyo Night";
|
|
|
|
|
"workbench.iconTheme" = "";
|
|
|
|
|
|
|
|
|
|
# Workbench
|
|
|
|
|
"workbench.startupEditor" = "none";
|
|
|
|
|
"diffEditor.ignoreTrimWhitespace" = false;
|
|
|
|
|
"workbench.editor.autoLockGroups" = {
|
|
|
|
|
"mainThreadWebview-markdown.preview" = true;
|
|
|
|
|
};
|
|
|
|
|
"editor.fontFamily" = "JetBrainsMono Regular";
|
|
|
|
|
"editor.fontLigatures" = true;
|
|
|
|
|
|
|
|
|
|
# Telemetry =
|
|
|
|
|
"redhat.telemetry.enabled" = false;
|
|
|
|
|
"telemetry.telemetryLevel" = "off";
|
|
|
|
|
|
|
|
|
|
# Git =
|
|
|
|
|
"git.enableSmartCommit" = true;
|
|
|
|
|
"git.confirmSync" = false;
|
|
|
|
|
"git.autofetch" = true;
|
|
|
|
|
|
|
|
|
|
# Language Specific
|
|
|
|
|
# Python =
|
|
|
|
|
"python.diagnostics.sourceMapsEnabled" = true;
|
|
|
|
|
"python.linting.pylintEnabled" = true;
|
|
|
|
|
"python.linting.pylintArgs" = [
|
|
|
|
|
"--rcfile=~/.config/pylintrc"
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# Rust
|
|
|
|
|
"rust-analyzer.cargo.buildScripts.overrideCommand" = null;
|
|
|
|
|
};
|
2023-08-24 12:14:42 +02:00
|
|
|
};
|
|
|
|
|
}
|
