3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

12 commits

Author SHA1 Message Date
Jan Tojnar 5cc18c4781
gnome3: remove versionBranch attribute
Standard library now contains stdenv.lib.versions.majorMinor,
which does the same.
2018-10-05 02:17:19 +02:00
Jan Tojnar 2b1db53296
gnome3.gnome-shell-extensions: 3.28.0 → 3.28.1 2018-05-08 02:47:43 +02:00
Tor Hedin Brønner 43ce9b93f5 gnome3.gnome-shell-extensions: let apps-menu know about gnome-menus 2018-04-03 16:10:23 +02:00
Tor Hedin Brønner 1661e88e82 gnome3.gnome-shell-extensions: build schema files 2018-04-03 16:10:12 +02:00
Jan Tojnar 32b59d0961
gnome3.gnome-shell-extensions: fix build 2018-03-22 07:46:44 +01:00
Jan Tojnar 0973618e4e
gnome3: automated update 2018-03-22 07:46:42 +01:00
Jan Tojnar 546e7669b2
gnome3: move src.nix into default.nix automatically 2018-03-01 02:53:00 +01:00
Jan Tojnar 0f06bab3f3
gnome3: 3.24 -> 3.26 2017-11-26 03:10:47 +01:00
John Ericson f037625f87 Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
Jan Tojnar 69698ec11c gnome3: only maintain single GNOME 3 package set (#29397)
* gnome3: only maintain single GNOME 3 package set

GNOME 3 was split into 3.10 and 3.12 in #2694. Unfortunately, we barely have the resources
to update a single version of GNOME. Maintaining multiple versions just does not make sense.
Additionally, it makes viewing history using most Git tools bothersome.

This commit renames `pkgs/desktops/gnome-3/3.24` to `pkgs/desktops/gnome-3`, removes
the config variable for choosing packageset (`environment.gnome3.packageSet`), updates
the hint in maintainer script, and removes the `gnome3_24` derivation from `all-packages.nix`.

Closes: #29329

* maintainers/scripts/gnome: Use fixed GNOME 3 directory

Since we now allow only a single GNOME 3 package set, specifying
the working directory is not necessary.

This commit sets the directory to `pkgs/desktops/gnome-3`.
2017-09-24 12:15:50 +01:00
Luca Bruno d05fa3ccfe Branch gnome 3.12 2014-05-20 13:41:33 +02:00
Luca Bruno 997b4898b5 gnome-shell-extensions: new package
Modify and extend GNOME Shell functionality and behavior

https://wiki.gnome.org/Projects/GnomeShell/Extensions
2014-04-14 09:58:04 +02:00