From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH] gnu: Add gnome-shell-extensions. Date: Mon, 13 Jun 2016 20:14:15 -0400 Message-ID: <20160614001415.GA16928@jasmine> References: <20160612012954.19167-1-dthompson2@worcester.edu> <20160612014017.GC23504@jasmine> <87a8ipdu6i.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43222) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bCc01-0008FW-Jr for guix-devel@gnu.org; Mon, 13 Jun 2016 20:14:36 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bCbzz-0008LI-Lw for guix-devel@gnu.org; Mon, 13 Jun 2016 20:14:32 -0400 Content-Disposition: inline In-Reply-To: List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: "Thompson, David" Cc: guix-devel 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. > >> > >> 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?