gnu/system.scm · 90d23ed9df33e35e157fecd8ab60f55e716ca42f · ogs / inf / Guix

7 years ago

system: Really filter out Linux device names for the store. · 90d23ed9

This is a followup to db4e8fd5.
Fixes <https://bugs.gnu.org/28445>.
Reported by Mark H Weaver <mhw@netris.org>.

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

90d23ed9

History

system: Really filter out Linux device names for the store.

Ludovic Courtès authored 7 years ago

This is a followup to db4e8fd5.
Fixes <https://bugs.gnu.org/28445>.
Reported by Mark H Weaver <mhw@netris.org>.

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

Code owners

Assign users and groups as approvers for specific file changes. Learn more.