From c740b5786479406700d27e399f40311e90b629c3 Mon Sep 17 00:00:00 2001 From: Leo Prikler Date: Thu, 7 Nov 2019 10:20:22 +0100 Subject: [PATCH 2/3] gnu: add gnome-shell-extension-dash-to-dock * gnu/packages/gnome-xyz.scm: (gnome-shell-extension-dash-to-dock): New variable. --- gnu/packages/gnome-xyz.scm | 42 +++++++++++++++++++++++++++++++++++++- 1 file changed, 41 insertions(+), 1 deletion(-) diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm index a88d17c871..86e3b5989b 100644 --- a/gnu/packages/gnome-xyz.scm +++ b/gnu/packages/gnome-xyz.scm @@ -18,9 +18,13 @@ (define-module (gnu packages gnome-xyz) #:use-module (guix build-system trivial) + #:use-module (guix build-system gnu) #:use-module (guix git-download) #:use-module (guix packages) - #:use-module ((guix licenses) #:prefix license:)) + #:use-module ((guix licenses) #:prefix license:) + + #:use-module (gnu packages glib) + #:use-module (gnu packages pkg-config)) (define-public delft-icon-theme (package @@ -54,3 +58,39 @@ date app icons. It will stay optically close to the original Faenza icons, which haven't been updated for some years. The new app icons are ported from the Obsidian icon theme.") (license license:gpl3))) + +(define-public gnome-shell-extension-dash-to-dock + (package + (name "gnome-shell-extension-dash-to-dock") + (version "65") + (source (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/micheleg/dash-to-dock.git") + (commit (string-append "extensions.gnome.org-v" version)))) + (sha256 + (base32 + "0ln49l9s0yfl30pi77pz7xlmh63l9vjppi863kry5lay10dsvz47")) + (file-name (git-file-name name version)))) + (build-system gnu-build-system) + (arguments + '(#:tests? #f + #:make-flags (list (format #f + "INSTALLBASE=~a/share/gnome-shell/extensions" + (assoc-ref %outputs "out"))) + #:phases + (modify-phases %standard-phases + (delete 'bootstrap) + (delete 'configure)))) + (native-inputs + `(("intltool" ,intltool) + ("pkg-config" ,pkg-config))) + (propagated-inputs + `(("glib" ,glib) + ("glib" ,glib "bin"))) + (synopsis "Transforms GNOME's dash into a dock") + (description "This extension moves the dash out of the overview, +transforming it into a dock for easier application launching and faster window +switching.") + (home-page "https://micheleg.github.io/dash-to-dock/") + (license license:gpl2+))) -- 2.24.0