diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-03-07 11:00:44 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-03-07 11:22:42 +0100 |
| commit | abfbdafd0ee331770f783a75cff29aada9fbf4ae (patch) | |
| tree | 5f47038b6d514d25d5c8a187841fd412e94fe5ef /gnu/system/linux-initrd.scm | |
| parent | 16de45557f782d23a87ae2fa394267d5826e834a (diff) | |
linux-initrd: Add a hint for the missing module error.
* gnu/system/linux-initrd.scm (check-device-initrd-modules): Add a
'&fix-hint'.
Diffstat (limited to 'gnu/system/linux-initrd.scm')
| -rw-r--r-- | gnu/system/linux-initrd.scm | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gnu/system/linux-initrd.scm b/gnu/system/linux-initrd.scm index d75caed83e5..1eb5f5130d6 100644 --- a/gnu/system/linux-initrd.scm +++ b/gnu/system/linux-initrd.scm | |||
| @@ -362,6 +362,18 @@ DEVICE must be a \"/dev\" file name." | |||
| 362 | (message (format #f (G_ "you may need these modules \ | 362 | (message (format #f (G_ "you may need these modules \ |
| 363 | in the initrd for ~a:~{ ~a~}") | 363 | in the initrd for ~a:~{ ~a~}") |
| 364 | device modules))) | 364 | device modules))) |
| 365 | (&fix-hint | ||
| 366 | (hint (format #f (G_ "Try adding them to the | ||
| 367 | @code{initrd-modules} field of your @code{operating-system} declaration, along | ||
| 368 | these lines: | ||
| 369 | |||
| 370 | @example | ||
| 371 | (operating-system | ||
| 372 | ;; @dots{} | ||
| 373 | (initrd-modules (append (list~{ ~s~}) | ||
| 374 | %base-initrd-modules))) | ||
| 375 | @end example\n") | ||
| 376 | modules))) | ||
| 365 | (&error-location | 377 | (&error-location |
| 366 | (location (source-properties->location location)))))))) | 378 | (location (source-properties->location location)))))))) |
| 367 | 379 | ||
