diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-01-31 01:40:02 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-01-31 01:40:02 +0100 |
commit | 83b9e6a1854d4fb86f0269afac33200dce996f06 (patch) | |
tree | af3967810c54960faf5e2a822fc4078b09c628be /gnu | |
parent | 882f034fa88361c703f382f08e158e15ce330c1d (diff) | |
download | guix-83b9e6a1854d4fb86f0269afac33200dce996f06.tar guix-83b9e6a1854d4fb86f0269afac33200dce996f06.tar.gz |
gnu: linux-initrd: Start a REPL when the root could not be mounted.
* guix/build/linux-initrd.scm (boot-system): Catch errors when mounting
ROOT and call 'start-repl' upon error.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions