public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

gnomeExtensions.unite: move aliases from aliases.nix to set

Browse Source 
aliases.nix does not allow for nested attrs to exist,
as it checks if the top-level attr exists before
the alias overlay is applied
This commit is contained in:
Jonathan Ringer 2021-01-24 14:58:22 -08:00
parent f9bef8a7ec
commit 31e833ede5
No known key found for this signature in database
GPG Key ID: 5C841D3CFDFEC4E0
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/top-level/aliases.nix
View File

@ -737,9 +737,6 @@ mapAliases ({
youtubeDL = youtube-dl; # added 2014-10-26 youtubeDL = youtube-dl; # added 2014-10-26
ytop = throw "ytop has been abandoned by upstream. Consider switching to bottom instead"; ytop = throw "ytop has been abandoned by upstream. Consider switching to bottom instead";
zdfmediathk = mediathekview; # added 2019-01-19 zdfmediathk = mediathekview; # added 2019-01-19
gnomeExtensions = gnomeExtensions // {
unite-shell = gnomeExtensions.unite; # added 2021-01-19
};
gnome_user_docs = gnome-user-docs; # added 2019-11-20 gnome_user_docs = gnome-user-docs; # added 2019-11-20
# spidermonkey is not ABI upwards-ompatible, so only allow this for nix-shell # spidermonkey is not ABI upwards-ompatible, so only allow this for nix-shell
spidermonkey = spidermonkey_78; # added 2020-10-09 spidermonkey = spidermonkey_78; # added 2020-10-09

2
pkgs/top-level/all-packages.nix
View File

@ -27202,6 +27202,8 @@ in
nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks."; nohotcorner = throw "gnomeExtensions.nohotcorner removed since 2019-10-09: Since 3.34, it is a part of GNOME Shell configurable through GNOME Tweaks.";
mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md"; mediaplayer = throw "gnomeExtensions.mediaplayer deprecated since 2019-09-23: retired upstream https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/blob/master/README.md";
} // lib.optionalAttrs (config.allowAliases or false) {
unite-shell = gnomeExtensions.unite; # added 2021-01-19
}; };
gnome-connections = callPackage ../desktops/gnome-3/apps/gnome-connections { }; gnome-connections = callPackage ../desktops/gnome-3/apps/gnome-connections { };