GNU bug report logs -
#38567
[PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
Previous Next
Full log
View this message in rfc822 format
[Message part 1 (text/plain, inline)]
Your message dated Thu, 19 Dec 2019 23:22:50 +0100
with message-id <87eex0klad.fsf <at> gnu.org>
and subject line Re: [bug#38567] [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
has caused the debbugs.gnu.org bug report #38567,
regarding [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
to be marked as done.
(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)
--
38567: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38567
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
* 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
[Message part 3 (message/rfc822, inline)]
Hi,
Giacomo Leidi <goodoldpaul <at> autistici.org> skribis:
> * gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New variable.
Applied, thanks!
Ludo’.
This bug report was last modified 5 years and 155 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.