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

[GNU bug Tracking System]

Your message dated Thu, 19 Dec 2019 23:22:50 +0100
with message-id <address@hidden>
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
address@hidden.)


-- 
38567: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38567
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
>
>
>
>
> Date: 
>
> Wed, 11 Dec 2019 22:01:00 +0100
>
>
>
>
> * 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#38567] [PATCH] gnu: Add gnome-shell-extension-dash-to-panel.
>
>
>
>
> Date: 
>
> Thu, 19 Dec 2019 23:22:50 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hi,
>
> Giacomo Leidi <address@hidden> skribis:
>
> > * gnu/packages/gnome-xyz.scm (gnome-shell-extension-dash-to-panel): New 
> > variable.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---