diff options
author | Robert Hensing <robert@roberthensing.nl> | 2022-04-01 11:33:10 +0200 |
---|---|---|
committer | Robert Hensing <robert@roberthensing.nl> | 2022-04-01 11:33:10 +0200 |
commit | 200175a7011c0602c0a8e6d4c6583d9d577a03d1 (patch) | |
tree | 15ca935a6c86f3628507c28aa07463284cc09b4c /pkgs/desktops/gnome | |
parent | 3344cea254129714919142494ec3e9e75aa09891 (diff) |
config.allowAliases: Define as option
This simplifies usages and makes the default value consistent. In a few cases, the default value was interpreted to be `false`, but this is useless, because virtually nobody will explicitly set `allowAliases = true;`.
Diffstat (limited to 'pkgs/desktops/gnome')
-rw-r--r-- | pkgs/desktops/gnome/default.nix | 2 | ||||
-rw-r--r-- | pkgs/desktops/gnome/extensions/default.nix | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/desktops/gnome/default.nix b/pkgs/desktops/gnome/default.nix index 729a6bd16ca8d..892b085ead483 100644 --- a/pkgs/desktops/gnome/default.nix +++ b/pkgs/desktops/gnome/default.nix @@ -276,7 +276,7 @@ lib.makeScope pkgs.newScope (self: with self; { gnome-autoar = callPackage ./misc/gnome-autoar { }; gnome-packagekit = callPackage ./misc/gnome-packagekit { }; -}) // lib.optionalAttrs (config.allowAliases or true) { +}) // lib.optionalAttrs config.allowAliases { #### Legacy aliases. They need to be outside the scope or they will shadow the attributes from parent scope. gnome-desktop = pkgs.gnome-desktop; # added 2022-03-16 diff --git a/pkgs/desktops/gnome/extensions/default.nix b/pkgs/desktops/gnome/extensions/default.nix index d01c28be92c63..2fb5216467be6 100644 --- a/pkgs/desktops/gnome/extensions/default.nix +++ b/pkgs/desktops/gnome/extensions/default.nix @@ -69,7 +69,7 @@ in rec { (lib.attrValues) (mapReadableNames) # Add some aliases - (extensions: extensions // lib.optionalAttrs (config.allowAliases or true) { + (extensions: extensions // lib.optionalAttrs config.allowAliases { unite-shell = gnomeExtensions.unite; # added 2021-01-19 arc-menu = gnomeExtensions.arcmenu; # added 2021-02-14 disable-unredirect = gnomeExtensions.disable-unredirect-fullscreen-windows; # added 2021-11-20 |