diff options
author | Emanuele Peruffo <info@emanueleperuffo.com> | 2017-04-24 11:19:52 +0200 |
---|---|---|
committer | Emanuele Peruffo <info@emanueleperuffo.com> | 2017-04-24 11:19:52 +0200 |
commit | 8211903825f21f5f3161d65ffbb910b7fd70924a (patch) | |
tree | b5872d58648a5f9e8a1ae36fee375a53e7073ae0 /pkgs/desktops/gnome-3 | |
parent | 229e3383f43446af8cc6445d7173a882707213cc (diff) | |
download | nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.tar nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.tar.gz nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.tar.bz2 nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.tar.lz nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.tar.xz nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.tar.zst nixlib-8211903825f21f5f3161d65ffbb910b7fd70924a.zip |
gnomeExtensions.dash-to-dock: init at version v57
I needed this extensions and wanted to share it with everyone. I also created the new group called pkgs.gnomeExtensions.
Diffstat (limited to 'pkgs/desktops/gnome-3')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/dash-to-dock/default.nix | 26 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/dash-to-dock/fix-paths.patch | 17 |
2 files changed, 43 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/dash-to-dock/default.nix b/pkgs/desktops/gnome-3/extensions/dash-to-dock/default.nix new file mode 100644 index 000000000000..782f929a3b5a --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/dash-to-dock/default.nix @@ -0,0 +1,26 @@ +{ stdenv, fetchFromGitHub, glib, gettext }: + +stdenv.mkDerivation rec { + name = "gnome-shell-dash-to-dock-${version}"; + version = "v57"; + + src = fetchFromGitHub { + owner = "micheleg"; + repo = "dash-to-dock"; + rev = "97f6a0bb95b9f87d7a34a074c9b3624b65111794"; + sha256 = "0b9i89hpn9k63zcrbl4bhs7qfb70wh09870fwv2ik7hajm64kynn"; + }; + + nativeBuildInputs = [ + glib gettext + ]; + + patches = [ ./fix-paths.patch ]; + + meta = with stdenv.lib; { + description = "A dock for the Gnome Shell"; + license = licenses.gpl2; + maintainers = with maintainers; [ eperuffo ]; + homepage = https://micheleg.github.io/dash-to-dock/; + }; +} diff --git a/pkgs/desktops/gnome-3/extensions/dash-to-dock/fix-paths.patch b/pkgs/desktops/gnome-3/extensions/dash-to-dock/fix-paths.patch new file mode 100644 index 000000000000..e50a797d4af5 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/dash-to-dock/fix-paths.patch @@ -0,0 +1,17 @@ +diff --git a/Makefile b/Makefile +index fd29ef8..ec0376a 100644 +--- a/Makefile ++++ b/Makefile +@@ -6,11 +6,7 @@ EXTRA_MODULES = convenience.js dash.js docking.js appIcons.js windowPreview.js i + EXTRA_MEDIA = logo.svg + TOLOCALIZE = prefs.js + MSGSRC = $(wildcard po/*.po) +-ifeq ($(strip $(DESTDIR)),) +- INSTALLBASE = $(HOME)/.local/share/gnome-shell/extensions +-else +- INSTALLBASE = $(DESTDIR)/usr/share/gnome-shell/extensions +-endif ++INSTALLBASE = $(out)/share/gnome-shell/extensions + INSTALLNAME = dash-to-dock@micxgx.gmail.com + + # The command line passed variable VERSION is used to set the version string |