From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Craven Subject: Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader. Date: Wed, 11 Jan 2017 09:23:18 +0100 Message-ID: References: <20170110184243.6100-1-david@craven.ch> <20170110184243.6100-2-david@craven.ch> <20170111001008.74e6e566@scratchpost.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51196) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cREBn-0008Dw-SX for guix-devel@gnu.org; Wed, 11 Jan 2017 03:23:24 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cREBj-00064j-VO for guix-devel@gnu.org; Wed, 11 Jan 2017 03:23:23 -0500 Received: from mail-qt0-x241.google.com ([2607:f8b0:400d:c0d::241]:34175) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cREBj-00064Y-Q9 for guix-devel@gnu.org; Wed, 11 Jan 2017 03:23:19 -0500 Received: by mail-qt0-x241.google.com with SMTP id a29so21216015qtb.1 for ; Wed, 11 Jan 2017 00:23:19 -0800 (PST) In-Reply-To: <20170111001008.74e6e566@scratchpost.org> 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: Danny Milosavljevic , =?UTF-8?Q?Ludovic_Court=C3=A8s?= Cc: guix-devel > What do you think? I want to clearly separate the bootloader configuration file stuff from the bootloader stuff. I think that we shouldn't have to even specify a bootloader tag at all (it defaults to #f). We can have a default bootloader entry printer that just prints all the important information for making it a gc root and that would be the default for qemu when we are not using full-boot? Then we can have a bootloader entry printer for grub.cfg and extlinux.conf and a default that does the absolute minimum.