diff mbox

gnu: Add gnome-shell-extensions.

Message ID 20160612012954.19167-1-dthompson2@worcester.edu
State New
Headers show

Commit Message

David Thompson June 12, 2016, 1:29 a.m. UTC
* gnu/packages/gnome.scm (gnome-shell-extensions): New variable.
---
 gnu/packages/gnome.scm | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

Comments

Leo Famulari June 12, 2016, 1:40 a.m. UTC | #1
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?
Ludovic Courtès June 13, 2016, 2:45 p.m. UTC | #2
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’.
David Thompson June 13, 2016, 11:25 p.m. UTC | #3
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
Leo Famulari June 14, 2016, 12:14 a.m. UTC | #4
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?
diff mbox

Patch

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")