summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-09-23 22:10:50 +0200
committerLudovic Courtès <ludo@gnu.org>2018-09-23 23:34:16 +0200
commit88600acc939365b4ffd45a8be74117a8cf8dc3dd (patch)
treee7e9c461ebd0138e1fbd769c680f9e6158606a71
parente10bf49668472dcfc17ad10a2b5704fce838570d (diff)
system: Mention '--skip-checks' in initrd diagnostics.
* gnu/system/mapped-devices.scm (check-device-initrd-modules): Add note about '--skip-checks'.
-rw-r--r--gnu/system/mapped-devices.scm5
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system/mapped-devices.scm b/gnu/system/mapped-devices.scm
index af73dc608c..a874666463 100644
--- a/gnu/system/mapped-devices.scm
+++ b/gnu/system/mapped-devices.scm
@@ -157,7 +157,10 @@ these lines:
;; @dots{}
(initrd-modules (append (list~{ ~s~})
%base-initrd-modules)))
-@end example\n")
+@end example
+
+If you think this diagnostic is inaccurate, use the @option{--skip-checks}
+option of @command{guix system}.\n")
missing)))
(&error-location
(location (source-properties->location location)))))))))