eeva/home-manager
1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-06-01 04:23:34 +02:00
Code Issues Releases Wiki Activity

Merge 714a5a68a3 into 0c5704ecee

Browse Source
This commit is contained in:
Théo Zimmermann 2024-04-25 14:34:54 +00:00 committed by GitHub
commit 671e43e8fd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
modules/programs/vscode.nix
View File

@ -50,6 +50,9 @@ let
// optionalAttrs (!cfg.enableUpdateCheck) { "update.mode" = "none"; }
// optionalAttrs (!cfg.enableExtensionUpdateCheck) {
"extensions.autoCheckUpdates" = false;
} // optionalAttrs (!cfg.enableExtensionUpdate) {
"extensions.autoUpdate" = false;
"extensions.autoCheckUpdates" = false;
};
in {
imports = [
@ -82,6 +85,15 @@ in {
'';
};
enableExtensionUpdate = mkOption {
type = types.bool;
default = true;
description = ''
Whether to enable automatic extension updates.
Disabling this also disables update checks.
'';
};
enableExtensionUpdateCheck = mkOption {
type = types.bool;
default = true;