Merge pull request #109880 from rhoriguchi/unite

gnomeExtensions.unite-shell: rename to gnomeExtensions.unite
This commit is contained in:
Jan Tojnar 2021-01-24 23:29:17 +01:00 committed by GitHub
commit 8bcc8f63ac
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 5 additions and 2 deletions

View file

@ -1,6 +1,6 @@
{ lib, stdenv, gnome3, fetchFromGitHub, xprop, glib, coreutils }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-unite-shell";
pname = "gnome-shell-extension-unite";
version = "44";
src = fetchFromGitHub {

View file

@ -737,6 +737,9 @@ mapAliases ({
youtubeDL = youtube-dl; # added 2014-10-26
ytop = throw "ytop has been abandoned by upstream. Consider switching to bottom instead";
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
# spidermonkey is not ABI upwards-ompatible, so only allow this for nix-shell
spidermonkey = spidermonkey_78; # added 2020-10-09

View file

@ -27195,7 +27195,7 @@ in
tilingnome = callPackage ../desktops/gnome-3/extensions/tilingnome { };
timepp = callPackage ../desktops/gnome-3/extensions/timepp { };
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
unite-shell = callPackage ../desktops/gnome-3/extensions/unite-shell { };
unite = callPackage ../desktops/gnome-3/extensions/unite { };
window-corner-preview = callPackage ../desktops/gnome-3/extensions/window-corner-preview { };
window-is-ready-remover = callPackage ../desktops/gnome-3/extensions/window-is-ready-remover { };
workspace-matrix = callPackage ../desktops/gnome-3/extensions/workspace-matrix { };