diff options
author | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 10:57:41 +0200 |
---|---|---|
committer | Nicolas Goaziou <mail@nicolasgoaziou.fr> | 2023-07-30 10:57:41 +0200 |
commit | c173819c8e5235ce02d60b79bd88b10023a7c614 (patch) | |
tree | 64b2eba3fa410c2458afa9a67236a83f04ff6441 /guix | |
parent | 2c8da3d8242ea65c060a40774f3dd8f9233be423 (diff) | |
download | guix-patches-c173819c8e5235ce02d60b79bd88b10023a7c614.tar guix-patches-c173819c8e5235ce02d60b79bd88b10023a7c614.tar.gz |
guix: profiles: Fix auto-generated file deletion.
* guix/profiles.scm (texlive-font-maps): Make sure auto-generated file exists
before deleting it, which is not guaranteed when creating the initial texmf
tree union.
This is a followup to e43cbeafd1b632f39b08b3644af5230d5350a656.
Diffstat (limited to 'guix')
-rw-r--r-- | guix/profiles.scm | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/guix/profiles.scm b/guix/profiles.scm index 6c88759cae..c62d7f4d22 100644 --- a/guix/profiles.scm +++ b/guix/profiles.scm @@ -1815,9 +1815,12 @@ MANIFEST." #:create-all-directories? #t #:log-port (%make-void-port "w")) - ;; Clear files that are going to be regenerated. + ;; Clear files that are going to be regenerated, or copied from + ;; a different place, in order to prevent failures during profile + ;; generation. (with-directory-excursion "/tmp/texlive/share/texmf-dist" - (for-each delete-file + (for-each (lambda (file) + (when (file-exists? file) (delete-file file))) (list "fonts/map/dvipdfmx/updmap/kanjix.map" "fonts/map/dvips/updmap/builtin35.map" "fonts/map/dvips/updmap/download35.map" |