From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id CM43JApKfGFtdAAAgWs5BA (envelope-from ) for ; Fri, 29 Oct 2021 21:22:50 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id MAjkHwpKfGHmJwAAB5/wlQ (envelope-from ) for ; Fri, 29 Oct 2021 19:22:50 +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 58A0D33F9B for ; Fri, 29 Oct 2021 21:22:50 +0200 (CEST) Received: from localhost ([::1]:50630 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mgXSj-0008CU-GQ for larch@yhetil.org; Fri, 29 Oct 2021 15:22:49 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53360) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mgXKE-0002WI-H4 for bug-guix@gnu.org; Fri, 29 Oct 2021 15:14:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:44407) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1mgXKE-0003vq-8q for bug-guix@gnu.org; Fri, 29 Oct 2021 15:14:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1mgXKE-0008GB-3Q for bug-guix@gnu.org; Fri, 29 Oct 2021 15:14:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#51425: file-system: validate flags Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 29 Oct 2021 19:14:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 51425 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Jonathan Brielmaier Received: via spool by 51425-submit@debbugs.gnu.org id=B51425.163553483031691 (code B ref 51425); Fri, 29 Oct 2021 19:14:02 +0000 Received: (at 51425) by debbugs.gnu.org; 29 Oct 2021 19:13:50 +0000 Received: from localhost ([127.0.0.1]:55953 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mgXK2-0008F3-5O for submit@debbugs.gnu.org; Fri, 29 Oct 2021 15:13:50 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56016) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mgXK0-0008Em-88 for 51425@debbugs.gnu.org; Fri, 29 Oct 2021 15:13:48 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]:50782) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mgXJu-0003uq-TH; Fri, 29 Oct 2021 15:13:42 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=A0ePlGA7t4hS2AJ/v1Hjskdo5waAJe7CdCe/XqMBklM=; b=p6iP92AJzumFzjJk7fG6 bZqexy6tCq9UR+7YZEc5k/5sO1bclYfQZZ0qogVW0C6E1/4pQeYz0PygeV96Yarpf4W4FG693043d xtNIOhR25qiwsFcqnc4WbeuseddBO3VSlLwY3RbcM0ZTLgor5tCcB04QJYYa6g/dsZxhrMY2HMnux g6GoV+HHpCPpw8vt/bNhWsVRhg4IusjCGGJaWX4gHURmVIamawxiS1JcXmmTZFxrUoqIcFOAj3bCR eKqU8Zho2nqWDP+XwGQ64AFKh8X/gxJteZlcjFxh7YBhAYXKfx9PlCEwIeMqpkMcirr5HqAReTfJ8 y18Djknckre9cw==; Received: from 91-160-117-201.subs.proxad.net ([91.160.117.201]:54878 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mgXJu-0006Vr-Gj; Fri, 29 Oct 2021 15:13:42 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <33625107-5cf9-85f8-9025-2b9f186723bc@web.de> Date: Fri, 29 Oct 2021 21:13:40 +0200 In-Reply-To: <33625107-5cf9-85f8-9025-2b9f186723bc@web.de> (Jonathan Brielmaier's message of "Wed, 27 Oct 2021 00:24:28 +0200") Message-ID: <87cznny78b.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: 51425@debbugs.gnu.org, Maxim Cournoyer Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: "bug-Guix" X-Migadu-Flow: FLOW_IN ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1635535370; 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: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=A0ePlGA7t4hS2AJ/v1Hjskdo5waAJe7CdCe/XqMBklM=; b=Dx94lYpnbTDQ3t+WLkiKSPqM9ucBhTJOOMzDLQuizQvmaT1YMTVp7TM4rNYjggOi1vGjas Qn4/RCgjwKY0wScUHVe/49QMU1KKL79eZbhphemPYALRYZmR7nGxeqLaa87iRrB8AG4oJk 28EsMfbL3ONUruCrv0Bq4qZsZlBKK67K3+jFMMLK7CPi9M89BCB3lEel3UppRh3WvZOcUY QbEyof6n3ENSMBFqRz8lIG074oXZsgkEi7LS2JT2G8cfp3Z4kgV4Zzoj99yy5nea5ne5vj kgkKHq7crbQ1Y0R5X5QgjC/lGNPCy4O7G4+mk76TGGABkXsSi/1UnRZXny5PRA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1635535370; a=rsa-sha256; cv=none; b=aNivf39FVrA6gtlDlg1N5ahj+8pIE+K8HOX84qm3X938KA3ulK+3GvQM5RQG4J9LZnvu5p SjhOQqcbdbv5yFeemCiN3hut0kO6bIUv/ub4I/VHDe+uUoIJSOiZ2CcErX2ncFz8jf/SrD bUQMvFPvgMycflsSP8ldx5OPM/HZ3PBuQvuD1FMGb7jIMJxbYcYNTyfCBQUQwyQXal5bc8 wNrb8vSARKQJmP3+PfkyarUGaQNdDjqCEvF/9eAHhzYFk96Mow10NKaTzrGvlb9ZeVM7HY u8xcD/scag7eM/nBh3B3orz3qu5V3HBKFG93RuR0qwcNnUxprmzHIBFDFIjYZg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=p6iP92AJ; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Spam-Score: -2.92 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=p6iP92AJ; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of bug-guix-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=bug-guix-bounces@gnu.org X-Migadu-Queue-Id: 58A0D33F9B X-Spam-Score: -2.92 X-Migadu-Scanner: scn0.migadu.com X-TUID: W2eBBaTCV/Gf Hi! Jonathan Brielmaier skribis: > Imagine the following file system definition in your config.scm: > > ``` > (file-system > (device (uuid "UUID-123")) > (flags '((create-mount-point? #t))) > (mount-point "/mnt") > (type "ext4"))) > ``` > > When you reconfigure there will be no complain, but when you reboot your > system wont boot. I suppose it fails to boot because of a match error in =E2=80=98mount-flags->bit-mask=E2=80=99, right? > The parameter to flags is nonsense, it should be something like: > `read-only`. So mounting of the file system will fail... That=E2=80=99s a good use case for the recently-added =E2=80=98sanitize=E2= =80=99 record field property. Ludo=E2=80=99.