From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id uIKbEA+IEmDiIAAA0tVLHw (envelope-from ) for ; Thu, 28 Jan 2021 09:46:55 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 0I5dDA+IEmC0UgAAB5/wlQ (envelope-from ) for ; Thu, 28 Jan 2021 09:46:55 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AF9EB94021E for ; Thu, 28 Jan 2021 09:46:54 +0000 (UTC) Received: from localhost ([::1]:41444 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1l53t7-0003fI-Jd for larch@yhetil.org; Thu, 28 Jan 2021 04:46:53 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:49972) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1l5290-0000Wt-B2 for guix-devel@gnu.org; Thu, 28 Jan 2021 02:55:10 -0500 Received: from xavier.telenet-ops.be ([2a02:1800:120:4::f00:14]:41438) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1l528w-0004Mn-Gl for guix-devel@gnu.org; Thu, 28 Jan 2021 02:55:10 -0500 Received: from ptr-bvsjgyjmffd7q9timvx.18120a2.ip6.access.telenet.be ([IPv6:2a02:1811:8c09:9d00:aaf1:9810:a0b8:a55d]) by xavier.telenet-ops.be with bizsmtp id N7v22400a0mfAB4017v23c; Thu, 28 Jan 2021 08:55:03 +0100 Message-ID: <7e79296e2ddc8c4925a068a8c2c0657ad867437e.camel@telenet.be> Subject: Re: An idea regarding Guix Profiles From: Maxime Devos To: Raghav Gururajan , guix-devel@gnu.org Date: Thu, 28 Jan 2021 08:54:52 +0100 In-Reply-To: <8f07a08a-449b-6ff9-50ed-f4b7dd989114@raghavgururajan.name> References: <8f07a08a-449b-6ff9-50ed-f4b7dd989114@raghavgururajan.name> Content-Type: multipart/signed; micalg="pgp-sha256"; protocol="application/pgp-signature"; boundary="=-GnNnf0DHLJMAAQ1tErD2" User-Agent: Evolution 3.34.2 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1611820503; bh=c4d9XoAB3RPo+M7iXyZqPe+O5hkoM54/zlAbvna8UMw=; h=Subject:From:To:Date:In-Reply-To:References; b=XmcY4z5/Mr4VYQ/JKzeK5oNBh2sqSgvICOpiY5XwALLrHR4XFQxh2PxRchn1hMZxs ZFCtA2dzaj+y4uYlWVV06ayrzw2SHu1dJlY2QiSfyvNI8Td8vLAFCH4l0zhepDVpm0 SM83NIDPvZHx5Eq2Yji53RUVVTR/Qv/gwf/ZHl/kp7wKl6h23FOUtFMtiWrhKJLGtF s9jTsijDaQp8FL8P+emL28mT3rU9HcwMC/zBzMiGEMYARxOTleFpqgqbwRs4H2QabJ VhSik43tzUHzUHAj3klbHd4QjvIvVQhpVOFHGm/5qFkHYlfGQGmvC/mP+BJRQkJ0DR UDx3JMRLY8oNA== Received-SPF: pass client-ip=2a02:1800:120:4::f00:14; envelope-from=maximedevos@telenet.be; helo=xavier.telenet-ops.be X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Thu, 28 Jan 2021 04:32:42 -0500 X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list 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+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Spam-Score: -5.15 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=telenet.be header.s=r21 header.b="XmcY4z5/"; dmarc=pass (policy=none) header.from=telenet.be; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Migadu-Queue-Id: AF9EB94021E X-Spam-Score: -5.15 X-Migadu-Scanner: scn1.migadu.com X-TUID: e3DqaZcI8s2+ --=-GnNnf0DHLJMAAQ1tErD2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi RG, > At user-level, user can choose which profile to work on. Like that it=20 > would be cool to select which profile to boot. This already possible in some form: when booting, I can (optionally) select an older system generation to boot (at least in GRUB). The question is, I guess, would it be feasible to allow defining multiple operating systems at= once in the configuration file? The GRUB screen could then look something like thi= s: Welcome to GRUB! * OS Group A (date + name) + Primary OS #A (kernel + name) + Secondary OS #B (kernel + name) + Secondary OS #C (kernel + name) + ... * Old operating systems + Old OS Group A (date + name) + Old Primary OS #A .... ... + Old OS Group A (date + name) + Old Primary OS #A ... ... ... You can edit [blabla] ... Press [...] to [blabla] ... And the configuration file could look something like this: (operating-system-group (name "something") (primary (operating-system ...)) (secondary (operating-system ...) (operating-system ...) ...)) The primary OS is used for determining on which partition to install the bootloader and which bootloader to install. (It doesn't make sense to install multiple bootloaders after all). Thoughts? Maxime --=20 Maxime Devos PGP Key: C1F3 3EE2 0C52 8FDB 7DD7 011F 49E3 EE22 1917 25EE Freenode handle: mdevos --=-GnNnf0DHLJMAAQ1tErD2 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYIADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYBJtzBccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7u8ZAQCdGgtY5jc/nk8vP/opP7NOkeIo cc2ddwEOrL5gsV0VxQD+MppNBZTHY9s3cfTlfe2m2/rixQVdv8TvzoElJkxbnwg= =61Ae -----END PGP SIGNATURE----- --=-GnNnf0DHLJMAAQ1tErD2--