diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-18 15:08:19 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-18 16:04:26 +0100 |
commit | 5de5f8184530fd7e0e88514ae35cb2e9305910c1 (patch) | |
tree | 6e726de1655761441f290f4321b66dae0439ca9a /gnu/packages | |
parent | 6ea6e1476ff4a18d4b4b864c3065d18ed99c69af (diff) | |
download | patches-5de5f8184530fd7e0e88514ae35cb2e9305910c1.tar patches-5de5f8184530fd7e0e88514ae35cb2e9305910c1.tar.gz |
file-systems: Have the emergency REPL output to /dev/console.
This fixes a bug whereby all emergency REPL output would go to /dev/klog
and thus, each line would be prefixed by "[12324.432] shepherd[1]: ".
* gnu/build/file-systems.scm (check-file-system): Wrap 'start-repl' call
in 'with-output-to-file'.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions