From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms8.migadu.com with LMTPS id mDpxArQC32UJIQAA62LTzQ:P1 (envelope-from ) for ; Wed, 28 Feb 2024 10:53:56 +0100 Received: from aspmx1.migadu.com ([2001:41d0:403:4876::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id mDpxArQC32UJIQAA62LTzQ (envelope-from ) for ; Wed, 28 Feb 2024 10:53:56 +0100 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1709114035; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post; bh=/Ccd5Enh4o/Sy6btBxNn5WQhuS4nMyOpZJFIV7DpRvU=; b=J2LQb3YP10eoEezMsGzubB0Spl2QVCy20IbmsWcG7SAgeyvKfoC3j+meGEWJrxadkoq4Z1 wq1Jt+obz3Xa485x+au7YNikF+fwFa0hreZPw0+muDSwpHZ5DVQf5IfK3zIMD42hJMNt1t yPL+NiFyG4ZVslhiOS2QMZa/FPfKFY2Ny27MJnYh7hXGvorTxDCmnjDJb4fJzVPhJOHfPs DKJDrJn/Ecm2jGUEd1TJ4GwlE/vvla6YWq0rVEH4k29yhii+bNrPFLrMBSEuLn0eDm+gSj ROrCRgrncZ73o+VT+JMQA/shaJhs3ZRBsb45r+uiN9JsbazqS94QMK1qJNa6wA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1709114035; a=rsa-sha256; cv=none; b=RP+RY4LFuVxP6s2wbQSSoE1IvWTX3y8B5tsu3XRIHsyD45FHCrI8ifsGxd7reyzKOv7+Hn rs3FHnH0mtg1uApDtcgApbw6YRE8WuogYsYoN32Z0vhfLytpYN5JQwgKMhCmPdOZC0WVUr WTRRuizWLo0bk+zAbW7Og/njbWDg2kHsbefL57U2d7w0AJT1yvK2STpzzjW1ay+TkyLw65 cki3uiNsLedyzilB1zR6UI+9DX4zHVLiFbeMaN/sDkP1t46U/JgktTHIAxMTSkSovKRl/K 3zswN3VJ6faiqvUu0sd2ZKWxFZcZRjWJJcRHPI8JGF+e67+Bfjh4BlWzRGRGHw== 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 C38C724008 for ; Wed, 28 Feb 2024 10:53:55 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rfGcv-0003lv-3Q; Wed, 28 Feb 2024 04:53:25 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rfGcs-0003lP-41; Wed, 28 Feb 2024 04:53:22 -0500 Received: from ns13.heimat.it ([46.4.214.66]) by eggs.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rfGcq-00030L-Eh; Wed, 28 Feb 2024 04:53:21 -0500 Received: from localhost (ip6-localhost [127.0.0.1]) by ns13.heimat.it (Postfix) with ESMTP id 1465630081F; Wed, 28 Feb 2024 09:53:18 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at ns13.heimat.it Received: from ns13.heimat.it ([127.0.0.1]) by localhost (ns13.heimat.it [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id gtclFAaSjQaa; Wed, 28 Feb 2024 09:53:15 +0000 (UTC) Received: from bourrache.mug.xelera.it (unknown [93.56.171.217]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by ns13.heimat.it (Postfix) with ESMTPSA id 3F01730081A; Wed, 28 Feb 2024 09:53:15 +0000 (UTC) Received: from roquette.mug.biscuolo.net (roquette [10.38.2.14]) by bourrache.mug.xelera.it (Postfix) with SMTP id C35902F088FA; Wed, 28 Feb 2024 10:53:14 +0100 (CET) Received: (nullmailer pid 13466 invoked by uid 1000); Wed, 28 Feb 2024 09:53:14 -0000 From: Giovanni Biscuolo To: Ian Eure Cc: help-guix@gnu.org, guix-devel@gnu.org Subject: Re: declarative partition and format with Guix (was Re: Guix System automated installation) In-Reply-To: <87v8693uw8.fsf@xelera.eu> Organization: Xelera.eu References: <87o7e3ff61.fsf@meson> <86mstnf599.fsf@riseup.net> <87cysj5pdl.fsf@xelera.eu> <87v869bob5.fsf@meson> <87v8693uw8.fsf@xelera.eu> Date: Wed, 28 Feb 2024 10:53:14 +0100 Message-ID: <87jzmo5305.fsf@xelera.eu> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Received-SPF: pass client-ip=46.4.214.66; envelope-from=g@xelera.eu; helo=ns13.heimat.it X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: help-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Scanner: mx10.migadu.com X-Migadu-Spam-Score: -4.50 X-Spam-Score: -4.50 X-Migadu-Queue-Id: C38C724008 X-TUID: jsgXIPiZx7pi --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Giovanni Biscuolo writes: [...] >> but I think this is close to the right track. Either operating-system >> should be extended to support things like disk partitioning, the library for doing this with Guile is guile-parted (packaged in Guix); it's used by the Guix Installer: https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/installer/parted.scm AFAIU this (parted.scm above) is the starting point (the Guix library) that can be used to develop a program that automates the disk partitioning and filesystem creation based on a gexp (disk-layout.scm ?) declaration. >> and effect those changes at reconfigure time (with suitable >> safeguards to avoid wrecking existing installs), > > I would prefer not, such "reconfigurations" should be done "out of band" > and not "in band", IMHO Side note: there is a recent discussion on a "Resize Filesystem Service" at this thread id:ZR0P278MB0268910B4FE39A48112CE740C186A@ZR0P278MB0268.CHEP278.PROD.OUTLOO= K.COM [1] [...] Happy hacking! Gio' [1] https://yhetil.org/guix/ZR0P278MB0268910B4FE39A48112CE740C186A@ZR0P278M= B0268.CHEP278.PROD.OUTLOOK.COM/ =2D-=20 Giovanni Biscuolo Xelera IT Infrastructures --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJABAEBCgAqFiEERcxjuFJYydVfNLI5030Op87MORIFAmXfAooMHGdAeGVsZXJh LmV1AAoJENN9DqfOzDkSdFgQAL7yBxzNK8HxH100Ycb9XT/j5yR1pLsBoh+2Sz9H jZJYYJNoLqKX4YiqvKVrO0vx3c9aE15w6rdWIa79foLncFT+6um8FRSPbi3mACrg 3+Er7qSCOBC/EMtY5AjjpAPAJYxzP1OEVJaGFAC8tI7XY4YbUzjUnXDqCO8i8JGj DM+HdXAWkOTqYYx01LdmoywAz3S8/BsPwyiJmUGOW/jBK+/XtPUCjY79XjNZ33aR QyZHbf6g/N/Wd+x3+5HvczxDlMIbfPLs6HZ37jVMHVgirWAuhBPTNWFLkbQ8mqx1 lh3e1yunNgaZJj4WvVr1l9KsN9FGPOnqWEO08GqbQifAvHs/2NtYHsWoQuaCjHdw zVn8QIA8VjuXGXNfncko/X+x5lWH/XJ8NXa+36Py9k66rauZTYpUhDrOfWwaqQz2 TYIW2rmm00GQa3UKwzLhurC+qLnr3WasV04Oj1ZAyEtzpPpYdR7hMT8peOg8fmww Sph1NtDv4Ru/Tvk4Il1HT+wlV3Ph9FqUtKXGp5/QIQN4WsQqOYjnsqUjaEBnVa4T 3UkZ87Rt+j4XSonStwfm29lclt87EUhxqMyjiMkqdF8Gu4Im5kU2soIUuzEvf1XF wvD2ZhKgB0P/v1X5iK1NIAdQfamCL1a075m5/jB3HjomFg35RnC4kxHQLKMRBf8T 0ACe =tLV/ -----END PGP SIGNATURE----- --=-=-=--