From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [doc RFC] Tame the Guix profile blizzard? Date: Wed, 11 Jul 2018 00:13:31 +0200 Message-ID: <87sh4qpwms.fsf@gnu.org> References: <87tvp8q8pj.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:38100) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fd0t3-0002cj-Mq for guix-devel@gnu.org; Tue, 10 Jul 2018 18:13:34 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fd0t2-00077R-V0 for guix-devel@gnu.org; Tue, 10 Jul 2018 18:13:33 -0400 In-Reply-To: <87tvp8q8pj.fsf@gmail.com> (George Clemmer's message of "Mon, 09 Jul 2018 19:40:24 -0400") 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: George Clemmer Cc: guix-devel Hi George, George Clemmer skribis: > ISTM we can improve this situation as follows: > > 1) agree on a canonical term to use for the 4 types of profiles I think you mentioned only two types of =E2=80=9Cprofiles=E2=80=9D: one is = profiles created by =E2=80=98guix package=E2=80=99 or =E2=80=98guix environment=E2= =80=99 or =E2=80=98guix system=E2=80=99 (they are all the same kind of =E2=80=9Cprofile=E2=80=9D), and the other one is e= xecution profile, which has nothing to do with that. So to me it seems that =E2=80=9Cprofile=E2=80=9D is in fact used fairly con= sistently, isn=E2=80=99t it? However=E2=80=A6 > 3) add a top level discussion of profiles =E2=80=A6 we surely need this. Someone we should clearly define =E2=80=9Cp= rofile=E2=80=9D somewhere upfront. Perhaps we also need a glossary. Thoughts? Ludo=E2=80=99.