guix/gnu/system.scm at b0a1d7ef7df0b5e080a2e2b0529fe4e0cf25bdd7

mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-28 21:20: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