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/system | |
| parent | 882f034fa88361c703f382f08e158e15ce330c1d (diff) | |
| download | 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/system')
0 files changed, 0 insertions, 0 deletions