From mboxrd@z Thu Jan  1 00:00:00 1970
From: Mathieu Othacehe <m.othacehe@gmail.com>
Subject: Re: Dualbooting with guixsd not handling grub installation
Date: Sun, 10 Dec 2017 12:41:28 +0100
Message-ID: <878teabyjb.fsf@gmail.com>
References: <55149c20-6f4c-8b37-9b9f-43879f2d038f@uni-bremen.de>
	<CAPsKtfK=zAm_WxQeCk5O3zS67NgEH4KCDrXVexgzHBoi20iKoA@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39441)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <m.othacehe@gmail.com>) id 1eNzzF-0004vk-U1
	for guix-devel@gnu.org; Sun, 10 Dec 2017 06:41:38 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <m.othacehe@gmail.com>) id 1eNzzC-0002Sy-S2
	for guix-devel@gnu.org; Sun, 10 Dec 2017 06:41:37 -0500
Received: from mail-wr0-x232.google.com ([2a00:1450:400c:c0c::232]:33872)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <m.othacehe@gmail.com>)
	id 1eNzzC-0002Rl-K6
	for guix-devel@gnu.org; Sun, 10 Dec 2017 06:41:34 -0500
Received: by mail-wr0-x232.google.com with SMTP id y21so14802026wrc.1
	for <guix-devel@gnu.org>; Sun, 10 Dec 2017 03:41:34 -0800 (PST)
In-reply-to: <CAPsKtfK=zAm_WxQeCk5O3zS67NgEH4KCDrXVexgzHBoi20iKoA@mail.gmail.com>
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Martin Castillo <castilma@uni-bremen.de>, Jelle Licht <jlicht@fsfe.org>
Cc: guix-devel <guix-devel@gnu.org>


Hi Martin and Jelle,

>> This could be done by adding a cli argument for reconfigure or allowing
>> an empty string in (grub-configuration (target "")).
>>
>> WDYT?
>>

An already available option would be to override the grub-installer like
this :

--8<---------------cut here---------------start------------->8---
(define no-op-installer
  #~(lambda (bootloader device mount)
      (display "no op")))

(bootloader (bootloader
             (inherit grub-bootloader)
             (installer no-op-installer))
--8<---------------cut here---------------end--------------->8---

I admit this is not ideal, so I would propose two options :

* Allow for target field to be #f and do not call the installer when
this happends.
* Precise the --no-bootloader parameter of guix system to deal with
multiple cases, for example :

--bootloader=[default|no-config-file|no-install|...]

WDYT ?

Mathieu