Jan Tojnar
6613a30c5e
They should have gnome-shell-extension prefix like most other extension packages. This is what other distros listed on Repology use so Repology will be able to unify them. Exception is chrome-gnome-shell, which is estabilished under that name. (cherry picked from commit 5ba789eeca29a85144d1b611e52d09b132bedd91)
36 lines
747 B
Nix
36 lines
747 B
Nix
{ lib, stdenv
|
|
, fetchFromGitHub
|
|
, glib
|
|
, gettext
|
|
}:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "gnome-shell-extension-dash-to-dock";
|
|
version = "69";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "micheleg";
|
|
repo = "dash-to-dock";
|
|
rev = "extensions.gnome.org-v" + version;
|
|
hash = "sha256-YuLtC7E8dK57JSuFdbDQe5Ml+KQfl9qSdrHdVhFaNiE=";
|
|
};
|
|
|
|
nativeBuildInputs = [
|
|
glib
|
|
gettext
|
|
];
|
|
|
|
makeFlags = [
|
|
"INSTALLBASE=${placeholder "out"}/share/gnome-shell/extensions"
|
|
];
|
|
|
|
uuid = "dash-to-dock@micxgx.gmail.com";
|
|
|
|
meta = with lib; {
|
|
description = "A dock for the Gnome Shell";
|
|
homepage = "https://micheleg.github.io/dash-to-dock/";
|
|
license = licenses.gpl2;
|
|
maintainers = with maintainers; [ eperuffo jtojnar ];
|
|
};
|
|
}
|