diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-09-23 22:10:50 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-09-23 23:34:16 +0200 |
| commit | 88600acc939365b4ffd45a8be74117a8cf8dc3dd (patch) | |
| tree | e7e9c461ebd0138e1fbd769c680f9e6158606a71 /gnu/system | |
| parent | e10bf49668472dcfc17ad10a2b5704fce838570d (diff) | |
system: Mention '--skip-checks' in initrd diagnostics.
* gnu/system/mapped-devices.scm (check-device-initrd-modules): Add note
about '--skip-checks'.
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/mapped-devices.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/system/mapped-devices.scm b/gnu/system/mapped-devices.scm index af73dc608ca..a874666463a 100644 --- a/gnu/system/mapped-devices.scm +++ b/gnu/system/mapped-devices.scm | |||
| @@ -157,7 +157,10 @@ these lines: | |||
| 157 | ;; @dots{} | 157 | ;; @dots{} |
| 158 | (initrd-modules (append (list~{ ~s~}) | 158 | (initrd-modules (append (list~{ ~s~}) |
| 159 | %base-initrd-modules))) | 159 | %base-initrd-modules))) |
| 160 | @end example\n") | 160 | @end example |
| 161 | |||
| 162 | If you think this diagnostic is inaccurate, use the @option{--skip-checks} | ||
| 163 | option of @command{guix system}.\n") | ||
| 161 | missing))) | 164 | missing))) |
| 162 | (&error-location | 165 | (&error-location |
| 163 | (location (source-properties->location location))))))))) | 166 | (location (source-properties->location location))))))))) |
