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

2016-06-13 Thread 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 wrote: > > Leo Famulari skribis: > > > >> On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote: > >>> * gnu/packages/gnome.scm (gnome-shell-extensions): New variable. > >

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

2016-06-13 Thread Thompson, David
On Mon, Jun 13, 2016 at 10:45 AM, Ludovic Courtès wrote: > Leo Famulari 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

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

2016-06-13 Thread Ludovic Courtès
Leo Famulari 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.

2016-06-11 Thread 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?

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

2016-06-11 Thread 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