aboutsummaryrefslogtreecommitdiff
path: root/nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix
diff options
context:
space:
mode:
authorKatharina Fey <kookie@spacekookie.de>2019-10-05 12:43:18 +0000
committerKatharina Fey <kookie@spacekookie.de>2019-10-05 12:44:52 +0000
commitcf85056ba64caf3267d43255ef4a1243e9c8ee3b (patch)
tree3051519e9c8275b870aac43f80af875715c9d124 /nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix
parent1148b1d122bc03e9a3665856c9b7bb96bd4e3994 (diff)
parent2436c27541b2f52deea3a4c1691216a02152e729 (diff)
Add 'nixpkgs/' from commit '2436c27541b2f52deea3a4c1691216a02152e729'
git-subtree-dir: nixpkgs git-subtree-mainline: 1148b1d122bc03e9a3665856c9b7bb96bd4e3994 git-subtree-split: 2436c27541b2f52deea3a4c1691216a02152e729
Diffstat (limited to 'nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix')
-rw-r--r--nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix32
1 files changed, 32 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix b/nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix
new file mode 100644
index 00000000000..d9ea670db09
--- /dev/null
+++ b/nixpkgs/pkgs/desktops/gnome-3/extensions/remove-dropdown-arrows/default.nix
@@ -0,0 +1,32 @@
+{ stdenv, fetchFromGitHub }:
+
+stdenv.mkDerivation rec {
+ pname = "gnome-shell-extension-remove-dropdown-arrows";
+ version = "11";
+
+ src = fetchFromGitHub {
+ owner = "mpdeimos";
+ repo = "gnome-shell-remove-dropdown-arrows";
+ rev = "version/${version}";
+ sha256 = "1g99r9bpjdhab3xj74wkl40gdnaf2w51kswcr8mi6bq72n4wjxwh";
+ };
+
+ # This package has a Makefile, but it's used for publishing and linting, not
+ # for building. Disable the build phase so installing doesn't attempt to
+ # publish the extension.
+ dontBuild = true;
+
+ uuid = "remove-dropdown-arrows@mpdeimos.com";
+ installPhase = ''
+ mkdir -p $out/share/gnome-shell/extensions/${uuid}
+ cp extension.js $out/share/gnome-shell/extensions/${uuid}
+ cp metadata.json $out/share/gnome-shell/extensions/${uuid}
+ '';
+
+ meta = with stdenv.lib; {
+ description = "Remove dropdown arrows from GNOME Shell Menus";
+ license = licenses.gpl3;
+ maintainers = with maintainers; [ jonafato ];
+ homepage = https://github.com/mpdeimos/gnome-shell-remove-dropdown-arrows;
+ };
+}