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 /guix/scripts | |
| parent | f6ad09ae5af9f4781c5ecea2c598f4d4c26b29b6 (diff) | |
| download | gnu-guix-cadf6cb4cf8b522c94e4594d1dfbe51d39ae16da.tar gnu-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.
Diffstat (limited to 'guix/scripts')
| -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)))) |