From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id YHq/Bo5bVmQrTQAASxT56A (envelope-from ) for ; Sat, 06 May 2023 15:52:14 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id gEecBY5bVmTvjwAAG6o9tA (envelope-from ) for ; Sat, 06 May 2023 15:52:14 +0200 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 AFADE3C23 for ; Sat, 6 May 2023 15:52:13 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pvIK4-0007C5-AX; Sat, 06 May 2023 09:51:40 -0400 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 1pvIK2-0007Bh-8w for help-guix@gnu.org; Sat, 06 May 2023 09:51:38 -0400 Received: from mail-40134.protonmail.ch ([185.70.40.134]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pvIJz-0002u1-UY for help-guix@gnu.org; Sat, 06 May 2023 09:51:38 -0400 Date: Sat, 06 May 2023 13:51:20 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=protonmail.com; s=protonmail3; t=1683381091; x=1683640291; bh=XAE0Fw6rWt95Hg5whEPcqnlbM/vsUHaCTTTLlbILAQ0=; h=Date:To:From:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=O4jJFftZDy9r79PSWSOHa0yhOyJf4yDxu8tmMXDvTcmn+LUq1SaBPyY+NIXr8vU1g iLDLqxkvPFnWpZNi8jw+qcUdMlkPfjBtjzzgIpeDXK9Ye6aLbfBYoQEzUP5z2F3FrZ k+GYE8+XoULbm5xZczeQRzAPy27Fz3VN1nVEdKtrPH+7J1J/daFxAgYgyDfnQCKDs5 i4Np7jUHvOH2nFOYqjpk5eRfgdZI+3NVpuqWgHf2udU2BO+HnjB77POmnRfw+0dl8H /XKIuPU0Pl+dWjMwCEN86ndOoDabXg4l72RJEXz6EvxyTY822gNICOi1ZTBG+F+s+O GJFhZg5ODZU7A== To: help-guix@gnu.org From: =?utf-8?Q?Marek_Pa=C5=9Bnikowski?= Subject: Error: File System With Given Label Not Found Message-ID: Feedback-ID: 45828316:user:proton MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=185.70.40.134; envelope-from=marekpasnikowski@protonmail.com; helo=mail-40134.protonmail.ch X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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_MSPIKE_H2=-0.001, SPF_HELO_PASS=-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-Country: US X-Migadu-Flow: FLOW_IN ARC-Seal: i=1; s=key1; d=yhetil.org; t=1683381133; a=rsa-sha256; cv=none; b=dJJBG9wzxElLS61ctanJUf57EviH6z/5k9TDkxl24JFePPQiu58Y7nbHlMGIDhdba4MTqT vhDM8QtcQOx+Ij/gLNntr6N2hiqvZzaD1XUdbyhZR6qBYBqlRFYfV/U0xcVqwhkX4BUbOw rsWV8z7uYbI1+ePsg6LeB1GiCbJYnzwnpjmxrK/dddTIncoX6WNkSuaEA9oujdfOa6bGAn xNWLYZSiyu7PyXfKWxe/a4gOTfRxItdUVyunnNgxHl3wMJqYhsPZa6sv5ckRuBerN3r7h7 RtdpSN08H40rYiEh5mr9VROp/d0t3h5jhmCh85BmOVDL4n7XLz1eLkhaK0I2Nw== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=protonmail.com header.s=protonmail3 header.b=O4jJFftZ; dmarc=pass (policy=quarantine) header.from=protonmail.com; 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" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1683381133; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=XAE0Fw6rWt95Hg5whEPcqnlbM/vsUHaCTTTLlbILAQ0=; b=b6G1MqyLBUkolSiq3Cm9fvA57OHBAAXh8HvUDAwPoo9xSWCoepKg7vFxWmGRC3pUQ7bHap Z8TfQOYQjMK9DcLp1ST13QjRE6Ijr/lWSZqtEt6GM/ktEFqu8dsYAf+AQGbFyhb5K4VwGe yI1oRGbiZyO+AQ6FVKuNTJcogawSTvTcVo5oETTtjV/ncnRPVRKLsuX3QDRvxltbjSmx01 tmBmJs4Q15QmXjCumQxT7xwoWCtDkj1uBLfUt2oCwyrdYa20PdajaMViSkCO4IdKtpu5nh WMIHLbBS1ELYBBQKLvP5DYrnlDHCI+Us0KrJvPQRKsk8SGDjRw5Y5gyS7jsCmg== X-Migadu-Spam-Score: -8.18 X-Spam-Score: -8.18 X-Migadu-Queue-Id: AFADE3C23 X-Migadu-Scanner: scn0.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=protonmail.com header.s=protonmail3 header.b=O4jJFftZ; dmarc=pass (policy=quarantine) header.from=protonmail.com; 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" X-TUID: 0M2i82W82P3h Dear All I am refactoring a freshly-installed system configuration in the ORG Literate Programming style. After each change I do guix system reconfigure to catch mistakes and errors. While following https://guix.gnu.org/manual/en/html_node/File-Systems.html I encountered a new system error, when I tried to use the file-system-label= procedure: #+begin_src scheme (type "vfat") (mount-point "/boot/efi") ;; (device (uuid "4E57-A066" ;; 'fat32)) (device (file-system-label "izumi-esp")) #+end_src $ LC_ALL=3DC sudo guix system reconfigure config.scm -v 4 Password:=20 /home/marek/src/izumi/config.scm:22:28: error: file system with label 'izum= i-esp' not found $ ls /dev/disk/by-partlabel/ izumi-esp izumi-swap izumi-system According to the manual, I should be able to do away with the UUID identifier in my configuration. Is this a regression or outdated manual? Is there anything I could do to be able to identify the partitions with labels? =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Below is the full configuration file for those interested. $ cat izumi.org #+title: Configuration of the Izumi computer -*- mode: org -*- #+author: Marek Pa=C5=9Bnikowski #+startup: content #+property: header-args:scheme :noweb yes #+property: header-args:scheme+ :noweb-prefix no * Guix https://guix.gnu.org/en/manual/en/html_node/index.html ** System Configuration https://guix.gnu.org/manual/en/html_node/System-Configuration.html *** Using the Configuration System https://guix.gnu.org/manual/en/html_node/Using-the-Configuration-System.htm= l #+name: OPERATING-SYSTEM-DERIVATION #+begin_src scheme :tangle config.scm (use-modules (gnu)) (use-package-modules certs) (use-service-modules cups desktop networking ssh xorg) (operating-system <>) #+end_src *** operating-system Reference https://guix.gnu.org/manual/en/html_node/operating_002dsystem-Reference.htm= l #+name: OS-RECORD #+begin_src scheme (kernel-arguments (append %default-kernel-arguments (list "nomodeset"))) (bootloader (bootloader-configuration <>= )) (keyboard-layout <>) (host-name "izumi") (mapped-devices (list (mapped-device <>))) (file-systems (append %base-file-systems (list (file-system <>) (file-system <>)))) (swap-devices (list (swap-space <>))) (users (append %base-user-accounts (list (user-account <>)))) (packages (append %base-packages (list nss-certs))) (timezone "Europe/Warsaw") (locale <>) (services (append %base-services (list (service <>) (service <>) (service <>) (service <>)))) #+end_src *** file-systems https://guix.gnu.org/manual/en/html_node/File-Systems.html #+name: EFI-PARTITION-RECORD #+begin_src scheme (type "vfat") (mount-point "/boot/efi") ;; (device (uuid "4E57-A066" ;; 'fat32)) (device (file-system-label "izumi-esp")) #+end_src #+name: SYSTEM-PARTITION-RECORD #+begin_src scheme (type "xfs") (mount-point "/") (device "/dev/mapper/izumi") (dependencies mapped-devices) #+end_src *** mapped-devices #+name: ENCRYPTED-STORAGE-RECORD #+begin_src scheme (source (uuid "b06171fb-beb4-46b1-bac6-aa65675d240a")) (target "izumi") (type luks-device-mapping) #+end_src *** swap-devices #+name: SWAP-PARTITION-RECORD #+begin_src scheme (target (uuid "5fe1a209-6ff9-4586-a61c-19187d33ba3b")) #+end_src *** users The list of user accounts ('root' is implicit). #+name: USER-MAREK-RECORD #+begin_src scheme (name "marek") (comment "Marek Pa=C5=9Bnikowski") (group "users") (home-directory "/home/marek") (supplementary-groups (list "audio" "netdev" "video" "wheel")) #+end_src *** keyboard-layout #+name: MAIN-KEYBOARD-LAYOUT-RECORD #+begin_src scheme (keyboard-layout "pl") #+end_src *** locale #+name: LOCALE-STRING #+begin_src scheme "pl_PL.utf8" #+end_src *** services Below is the list of system services. To search for available services, run 'guix system search KEYWORD' in a terminal. #+name: NETWORK-MANAGER-SERVICE-OBJECT #+begin_src scheme network-manager-service-type #+end_src #+name: NTP-SERVICE-OBJECT #+begin_src scheme ntp-service-type #+end_src To configure OpenSSH, pass an 'openssh-configuration' record as a second argument to 'service' below. #+name: OPENSSH-SERVICE-OBJECT #+begin_src scheme openssh-service-type #+end_src #+name: WPA-SUPPLICANT-SERVICE-OBJECT #+begin_src scheme wpa-supplicant-service-type #+end_src *** bootloader #+name: BOOTLOADER-CONFIGURATION-RECORD #+begin_src scheme (bootloader grub-efi-bootloader) (targets (list "/boot/efi")) (keyboard-layout <>) #+end_src