[PATCH] gnu: Add gnome-shell-extensions.

[PATCH] gnu: Add gnome-shell-extensions.

[David Thompson]

* gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
---
 gnu/packages/gnome.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index c87c371..0b80ebb 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -5183,6 +5183,33 @@ alternative user interface themes, changes in window management behavior,
 GNOME Shell appearance and extension, etc.")
     (license license:gpl3+)))
 
+(define-public gnome-shell-extensions
+  (package
+    (name "gnome-shell-extensions")
+    (version "3.20.1")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "mirror://gnome/sources/" name "/"
+                                  (version-major+minor version)  "/"
+                                  name "-" version ".tar.xz"))
+              (sha256
+               (base32
+                "18rr55krnqx1nzrzlj6kfzh4n67f3crakmwh28rr95y7cg0jwhxw"))))
+    (build-system gnu-build-system)
+    (arguments
+     '(#:configure-flags '("--enable-extensions=all")))
+    (native-inputs
+     `(("intltool" ,intltool)
+       ("pkg-config" ,pkg-config)))
+    (propagated-inputs
+     `(("glib" ,glib)
+       ("glib" ,glib "bin")))
+    (synopsis "Extensions for GNOME Shell")
+    (description "GNOME Shell extensions modify and extend GNOME Shell
+functionality and behavior.")
+    (home-page "https://extensions.gnome.org/")
+    (license license:gpl3+)))
+
 (define-public arc-theme
   (package
     (name "arc-theme")
-- 
2.8.3

Re: [PATCH] gnu: Add gnome-shell-extensions.

[Leo Famulari]

On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote:
> * gnu/packages/gnome.scm (gnome-shell-extensions): New variable.

Cool. Should it be part of the GNOME meta-package?

Re: [PATCH] gnu: Add gnome-shell-extensions.

[Ludovic Courtès]

Leo Famulari <leo@famulari.name> skribis:

> On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote:
>> * gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
>
> Cool. Should it be part of the GNOME meta-package?

Good point.  The patch LGTM regardless of the answer to that question.

Ludo’.

Re: [PATCH] gnu: Add gnome-shell-extensions.

[Thompson, David]

On Mon, Jun 13, 2016 at 10:45 AM, Ludovic Courtès <ludo@gnu.org> wrote:
> Leo Famulari <leo@famulari.name> skribis:
>
>> On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote:
>>> * gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
>>
>> Cool. Should it be part of the GNOME meta-package?
>
> Good point.  The patch LGTM regardless of the answer to that question.

Pushed.  I think it would be good to add to the gnome metapackage, but
I haven't been that involved in the GNOME packaging project so I'll
let someone else make that executive decision.

Thanks!

- Dave

Re: [PATCH] gnu: Add gnome-shell-extensions.

[Leo Famulari]

On Mon, Jun 13, 2016 at 07:25:12PM -0400, Thompson, David wrote:
> On Mon, Jun 13, 2016 at 10:45 AM, Ludovic Courtès <ludo@gnu.org> wrote:
> > Leo Famulari <leo@famulari.name> skribis:
> >
> >> On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote:
> >>> * gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
> >>
> >> Cool. Should it be part of the GNOME meta-package?
> >
> > Good point.  The patch LGTM regardless of the answer to that question.
> 
> Pushed.  I think it would be good to add to the gnome metapackage, but
> I haven't been that involved in the GNOME packaging project so I'll
> let someone else make that executive decision.

宋文武, what do you think?