2023-10-04 01:21:31 +02:00
|
|
|
{ config, pkgs, ... }: {
|
2023-08-24 12:14:42 +02:00
|
|
|
programs.vscode = {
|
|
|
|
|
enable = true;
|
|
|
|
|
package = pkgs.vscodium;
|
2023-08-28 04:47:56 +02:00
|
|
|
enableUpdateCheck = false;
|
|
|
|
|
enableExtensionUpdateCheck = false;
|
2024-01-05 13:59:34 +01:00
|
|
|
userSettings = {
|
2023-09-30 14:44:49 +02:00
|
|
|
# Theming:
|
|
|
|
|
"window.autoDetectColorScheme" = true;
|
|
|
|
|
"workbench.preferredLightColorTheme" = "GitHub Light Default";
|
|
|
|
|
"workbench.preferredDarkColorTheme" = "Github Dark Dimmed";
|
|
|
|
|
"workbench.iconTheme" = "";
|
2023-08-28 04:47:56 +02:00
|
|
|
|
2023-09-30 14:44:49 +02:00
|
|
|
# Workbench
|
|
|
|
|
"workbench.startupEditor" = "none";
|
|
|
|
|
"diffEditor.ignoreTrimWhitespace" = false;
|
|
|
|
|
"workbench.editor.autoLockGroups" = {
|
2023-10-04 02:51:24 +02:00
|
|
|
"mainThreadWebview-markdown.preview" = true;
|
2023-09-30 14:44:49 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
# 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;
|
2024-01-05 13:59:34 +01:00
|
|
|
};
|
2023-08-24 12:14:42 +02:00
|
|
|
};
|
|
|
|
|
}
|
