diff options
author | Ludovic Courtès <ludo@gnu.org> | 2014-06-24 22:11:12 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2014-06-24 22:11:12 +0200 |
commit | cadf6cb4cf8b522c94e4594d1dfbe51d39ae16da (patch) | |
tree | 0ad2f39b6bf3abc823d11999acaf8a44271d7715 | |
parent | f6ad09ae5af9f4781c5ecea2c598f4d4c26b29b6 (diff) | |
download | guix-cadf6cb4cf8b522c94e4594d1dfbe51d39ae16da.tar.gz |
guix system: Gracefully handle 'install-grub' errors.
* guix/scripts/system.scm (install): Wrap 'install-grub' call in 'false-if-exception'. This is a followup to 641f9a2a.
-rw-r--r-- | guix/scripts/system.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix/scripts/system.scm b/guix/scripts/system.scm index 7a4a2a6a06..c71ad4cbe9 100644 --- a/guix/scripts/system.scm +++ b/guix/scripts/system.scm @@ -113,7 +113,7 @@ When GRUB? is true, install GRUB on DEVICE, using GRUB.CFG." (populate-root-file-system target) (when grub? - (unless (install-grub grub.cfg device target) + (unless (false-if-exception (install-grub grub.cfg device target)) (leave (_ "failed to install GRUB on device '~a'~%") device)))) |