summaryrefslogtreecommitdiff
path: root/guix
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2023-08-08 11:47:08 +0200
committerLudovic Courtès <ludo@gnu.org>2023-08-08 18:01:54 +0200
commit5652c2e14728cf746f86c4ec34a84e99eb34f9a0 (patch)
tree8794847d7f12cb818157c3cbbc1e8eb01da9a537 /guix
parent782ef67a59f4b564f16101cf23c30a3777b3f734 (diff)
system: Do not check initrd modules for pseudo file systems.
Reported by hako on #guix. * gnu/machine/ssh.scm (machine-check-initrd-modules): Filter out pseudo file systems from 'file-systems'. * guix/scripts/system.scm (check-initrd-modules): Likewise.
Diffstat (limited to 'guix')
-rw-r--r--guix/scripts/system.scm5
1 files changed, 4 insertions, 1 deletions
diff --git a/guix/scripts/system.scm b/guix/scripts/system.scm
index f1154dad33..acbe3dab2c 100644
--- a/guix/scripts/system.scm
+++ b/guix/scripts/system.scm
@@ -686,7 +686,10 @@ checking this by themselves in their 'check' procedure."
(find-partition-by-label (file-system-label->string device))))))
(define file-systems
- (filter file-system-needed-for-boot?
+ (filter (lambda (file-system)
+ (and (file-system-needed-for-boot? file-system)
+ (not (member (file-system-type file-system)
+ %pseudo-file-system-types))))
(operating-system-file-systems os)))
(for-each (lambda (fs)