guix/gnu/system.scm at 0e42d239ecc7ef16ae6aa0df46ee4e1ff1b2ad3d

mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-28 05:00:29 +02:00

Files

Ludovic Courtès db4e8fd5d4 system: <boot-parameters> does not use "/dev" device names.

Fixes <https://bugs.gnu.org/28445>.
Reported by Mark H Weaver and Roel Janssen.

* gnu/system.scm (read-boot-parameters)[ensure-not-/dev]: New procedure.
Use it.

2017-09-21 22:30:59 +02:00

40 KiB

Raw Blame History

View Raw

40 KiB Raw Blame History

40 KiB

Raw Blame History