From mboxrd@z Thu Jan 1 00:00:00 1970 From: Martin Castillo Subject: Dualbooting with guixsd not handling grub installation Date: Sun, 10 Dec 2017 00:35:15 +0100 Message-ID: <55149c20-6f4c-8b37-9b9f-43879f2d038f@uni-bremen.de> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="dFxWsJLOcrftOR5arxojit7TiUUxSC6at" Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:43561) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eNoef-00006d-7Y for guix-devel@gnu.org; Sat, 09 Dec 2017 18:35:38 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eNoeb-0005mF-TW for guix-devel@gnu.org; Sat, 09 Dec 2017 18:35:37 -0500 Received: from gabriel-vm-2.zfn.uni-bremen.de ([134.102.50.10]:33346 helo=smtp.uni-bremen.de) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eNoeb-0005aD-IU for guix-devel@gnu.org; Sat, 09 Dec 2017 18:35:33 -0500 Received: from [192.168.178.5] (ip4d17ce1a.dynamic.kabel-deutschland.de [77.23.206.26]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.uni-bremen.de (Postfix) with ESMTPSA id 522CE200E2 for ; Sun, 10 Dec 2017 00:35:25 +0100 (CET) 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: guix-devel@gnu.org This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --dFxWsJLOcrftOR5arxojit7TiUUxSC6at Content-Type: multipart/mixed; boundary="SVS4j8fTLTmGPXhF60OGLwR2obekRKTIT"; protected-headers="v1" From: Martin Castillo To: guix-devel@gnu.org Message-ID: <55149c20-6f4c-8b37-9b9f-43879f2d038f@uni-bremen.de> Subject: Dualbooting with guixsd not handling grub installation --SVS4j8fTLTmGPXhF60OGLwR2obekRKTIT Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: quoted-printable Hi guixers, I want to dualboot into GuixSD. My main os is currently NixOS. Currently, I don't want to let guixsd control my grub setup. So my situation is similar to [1]. One solution is to use the unreliable chainloading with blocklists by invoking grub-install --force /dev/sda3 after every guix system reconfigure config.scm. (The config.scm has sda3 as grub target.) The second (and IMHO the right) solution I am aware of is adding the following in the grub.cfg which is handled by nix: menuentry "GuixSD - Configloader" { configfile (hd0,gpt3)/boot/grub/grub.cfg } This way, grub loads the newest grub config file created from GuixSD. There is only a minor annoyance: guix system reconfigure config.scm returns non-zero and spits out an error (because grub-install wants --force to use blocklists). But it succeeds in everything else, especially in creating a new /boot/grub/grub.cfg. The alternative (guix system reconfigure --no-bootloader config.scm) doesn't update /boot/grub/grub.cfg. I'd like to have a way to have /boot/grub/grub.cfg updated without reinstalling grub on the disk/partition and without having a command return non-zero. This could be done by adding a cli argument for reconfigure or allowing an empty string in (grub-configuration (target "")). WDYT? Martin Castillo [1]: https://lists.gnu.org/archive/html/guix-devel/2014-12/msg00046.html --=20 GPG: 7FDE 7190 2F73 2C50 236E 403D CC13 48F1 E644 08EC --SVS4j8fTLTmGPXhF60OGLwR2obekRKTIT-- --dFxWsJLOcrftOR5arxojit7TiUUxSC6at Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEE61CTslYA+K5btSvb61vedmKoYVkFAlosczwACgkQ61vedmKo YVkZ+gf/cXP9Yc7X9/LTkX26gM/qjsUp/TBKriHtvya26sa2zBOKYyVhXuyN690r 7XLnwl+4Mtn8oKRxS+f8JWG/0PavUfMJt/W0kEP1YzhKBU7syiPWEW187frx8A0y i38N7IwprzqC8rt4pP3HWXxWKCu6R7QdVsAyhVVCyCv5o6ndoGdYut5VuiCBKy/k /0ZFxz3rOqPIu4a8O1EjofD62Un+kemwALxKyadxQjYp4A9YzpVb5K9uAsEGTbB1 QnrsQtxDhn9AvwDiWpY6MbDgtMjKz9eKP3QBbnNIlbpHWjoJ6msAAOTa7az2lTIK OG/73BypyzmJ/0q6JCH/y1LhSbA6iQ== =DQld -----END PGP SIGNATURE----- --dFxWsJLOcrftOR5arxojit7TiUUxSC6at--