Subject: bug#38567: closed (Re: [bug#38567] [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 19 Dec 2019 22:23:02 +0000

Your bug report

#38567: [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
38567: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38567
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#38567] [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
From: Ludovic Courtès <[email-masked]>
To: Giacomo Leidi <[email-masked]>
Cc: [email-masked]
Date: Thu, 19 Dec 2019 23:22:50 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Giacomo Leidi <[email-masked]> skribis:

> * gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New variable.

Applied, thanks!

Ludo’.

Subject: [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
From: Giacomo Leidi <[email-masked]>
To: [email-masked]
Cc: Giacomo Leidi <[email-masked]>
Date: Wed, 11 Dec 2019 22:01:00 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

* gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New variable.
---
 gnu/packages/gnome-xyz.scm | 39 ++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index d05bdf0ac0..47e2d5cc8f 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -151,6 +151,45 @@ faster window switching.")
     (home-page "https://micheleg.github.io/dash-to-dock/")
     (license license:gpl2+)))
 
+(define-public gnome-shell-extension-dash-to-panel
+  (package
+    (name "gnome-shell-extension-dash-to-panel")
+    (version "26")
+    (source (origin
+              (method git-fetch)
+              (uri (git-reference
+                    (url "https://github.com/home-sweet-gnome/dash-to-panel.git")
+                    (commit (string-append "v" version))))
+              (sha256
+               (base32
+                "1phfx2pblygpcvsppsqqqflm7qnz46mqkw29hj0nv2dn69hf4xbc"))
+              (file-name (git-file-name name version))))
+    (build-system gnu-build-system)
+    (arguments
+     `(#:tests? #f
+       #:make-flags (list (string-append "INSTALLBASE="
+                                         (assoc-ref %outputs "out")
+                                         "/share/gnome-shell/extensions")
+                          (string-append "VERSION="
+                                         ,(package-version
+                                           gnome-shell-extension-dash-to-panel)))
+       #: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 "Icon taskbar for GNOME Shell")
+    (description "This extension moves the dash into the gnome main
+panel so that the application launchers and system tray are combined
+into a single panel, similar to that found in KDE Plasma and Windows 7+.")
+    (home-page "https://github.com/home-sweet-gnome/dash-to-panel/")
+    (license license:gpl2+)))
+
 (define-public gnome-shell-extension-noannoyance
   (package
     (name "gnome-shell-extension-noannoyance")
-- 
2.24.1