diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-04-26 14:08:39 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-26 14:19:36 +0200 |
commit | 98f035482fcb32683429a474f4071bd530c3c1b8 (patch) | |
tree | 78bcfd0710a9ddb70baf2734c3f26e206f474c68 /gnu/installer | |
parent | 9529f7850e3ae91cce70620e684fc6d0dc25e815 (diff) | |
download | patches-98f035482fcb32683429a474f4071bd530c3c1b8.tar patches-98f035482fcb32683429a474f4071bd530c3c1b8.tar.gz |
installer: Actually reboot when the user presses "Reboot."
* gnu/installer/newt/final.scm (run-install-success-page): Return
'success.
* gnu/installer.scm (installer-program): Check the result of the 'final
step and reboot upon success.
Diffstat (limited to 'gnu/installer')
-rw-r--r-- | gnu/installer/newt/final.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gnu/installer/newt/final.scm b/gnu/installer/newt/final.scm index f470a90004..e8d3c48a36 100644 --- a/gnu/installer/newt/final.scm +++ b/gnu/installer/newt/final.scm @@ -56,7 +56,10 @@ This will take a few minutes.") (G_ "Reboot") (G_ "Congratulations! Installation is now complete. \ You may remove the device containing the installation image and \ -press the button to reboot."))) +press the button to reboot.")) + + ;; Return success so that the installer happily reboots. + 'success) (define (run-install-failed-page) (choice-window |