diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-01-10 21:06:05 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-01-10 21:06:39 +0200 |
| commit | db34d4bbed5b71fefb0abad84e705d624c99337c (patch) | |
| tree | f4cf40307ba5f581cc366af151420f2fe6c37683 /gnu/packages | |
| parent | 7ba2a1af5cc5f3e914fb3eb4b562e4676a659880 (diff) | |
| download | patches-db34d4bbed5b71fefb0abad84e705d624c99337c.tar patches-db34d4bbed5b71fefb0abad84e705d624c99337c.tar.gz | |
gnu: grub-hybrid: Don't try to install files that already exist.
* gnu/packages/bootloaders.scm (grub-hybrid)[arguments]: Check if a file
already exists in the destination directory before installing it.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/bootloaders.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/bootloaders.scm b/gnu/packages/bootloaders.scm index 1f0cf64696..5884cbd750 100644 --- a/gnu/packages/bootloaders.scm +++ b/gnu/packages/bootloaders.scm @@ -6,7 +6,7 @@ ;;; Copyright © 2016, 2017, 2018 Marius Bakke <mbakke@fastmail.com> ;;; Copyright © 2016, 2017 Danny Milosavljevic <dannym@scratchpost.org> ;;; Copyright © 2016, 2017 David Craven <david@craven.ch> -;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2017, 2018 Efraim Flashner <efraim@flashner.co.il> ;;; ;;; This file is part of GNU Guix. ;;; @@ -221,7 +221,8 @@ menu to select one of the installed operating systems.") "/lib/grub"))) (for-each (lambda (basename) - (if (not (string-prefix? "." basename)) + (if (not (or (string-prefix? "." basename) + (file-exists? (string-append output-dir "/" basename)))) (symlink (string-append input-dir "/" basename) (string-append output-dir "/" basename)))) (scandir input-dir)) |