From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#30916: Request: add a short description field for os-configuration Date: Mon, 26 Mar 2018 15:05:35 +0200 Message-ID: <87vadjdm1s.fsf@gnu.org> References: <20180323141537.64xtvlgalhlzlz3z@abyayala> <06f52ff5-4019-e449-1f56-a585c759abb1@uni-bremen.de> <20180324124556.7x36ap6mfeugc7pa@abyayala> <017b6770-3168-5d63-3dd5-e6c3b590f527@uni-bremen.de> <20180324175438.2ff4e55e@scratchpost.org> 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]:48067) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f0Rp8-0003WQ-HM for bug-guix@gnu.org; Mon, 26 Mar 2018 09:06:11 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f0Rp4-0003mh-JG for bug-guix@gnu.org; Mon, 26 Mar 2018 09:06:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:45833) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f0Rp4-0003mZ-FY for bug-guix@gnu.org; Mon, 26 Mar 2018 09:06:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f0Rp4-0005zM-21 for bug-guix@gnu.org; Mon, 26 Mar 2018 09:06:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <20180324175438.2ff4e55e@scratchpost.org> (Danny Milosavljevic's message of "Sat, 24 Mar 2018 17:54:38 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Danny Milosavljevic Cc: 30916@debbugs.gnu.org, ng0 Hello, What about offering a way to specific the label of the new menu entry, or otherwise a suffix or prefix of the label? That is, you=E2=80=99d do: guix system reconfigure -m "The config that works just fine, I think." co= nfig.scm and that string would be used as the label itself in the GRUB menu, or as a prefix/suffix of the automatically generated label. Thoughts? Ludo=E2=80=99.