diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2022-05-17 00:05:07 +0200 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2022-05-17 07:47:33 +0200 |
commit | 277f39afc9ced4db8120d236017c2f2659e4a35d (patch) | |
tree | e97fc2500f574bdcdf31aa51de4fe600ad0435d0 /pkgs | |
parent | 8eb3f281dc1bd1a0599d29eca38e9bd9cfae3590 (diff) |
gnomeExtensions.dash-to-dock: 71+date=2022-02-23 → 72
Supports GNOME 42. https://github.com/micheleg/dash-to-dock/compare/extensions.gnome.org-v71...extensions.gnome.org-v72
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/desktops/gnome/extensions/dash-to-dock/default.nix | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix b/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix index 9447de1fd4e71..e7afab4c9ac91 100644 --- a/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix +++ b/pkgs/desktops/gnome/extensions/dash-to-dock/default.nix @@ -4,19 +4,19 @@ , glib , gettext , sassc -, unstableGitUpdater +, gitUpdater }: stdenv.mkDerivation rec { pname = "gnome-shell-extension-dash-to-dock"; - version = "71+date=2022-02-23"; + version = "72"; # Temporarily switched to commit hash because stable version is buggy. src = fetchFromGitHub { owner = "micheleg"; repo = "dash-to-dock"; - rev = "6f717302747931de6bf35bc9839fb3bd946e2c2f"; - sha256 = "1J8t0R43jBbqpXyH2uVyEK+OvhrCw18WWheflqwe100="; + rev = "extensions.gnome.org-v${version}"; + sha256 = "Cds5Fc+rnvoy01GTZBS7qPh8UC9ekrNBOs+IEkDNkJw="; }; nativeBuildInputs = [ @@ -33,9 +33,10 @@ stdenv.mkDerivation rec { extensionUuid = "dash-to-dock@micxgx.gmail.com"; extensionPortalSlug = "dash-to-dock"; - updateScript = unstableGitUpdater { - stableVersion = true; - tagPrefix = "extensions.gnome.org-v"; + updateScript = gitUpdater { + pname = "gnomeExtensions.dash-to-dock"; + inherit version; + rev-prefix = "extensions.gnome.org-v"; }; }; |