diff options
| author | Raul Infante-Sainz <infantesainz@gmail.com> | 2020-05-27 12:00:50 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-05-28 19:58:46 +0100 |
| commit | 213dac320133571bca871275c1bf6446ddee33cb (patch) | |
| tree | 30f55ff7171bd73d04ae96684137ae42fbc00a8d /reproduce/software/shell/git-pre-commit | |
| parent | 0043ba8d9032048d62b36f42f143e88ad330af27 (diff) | |
Fixed TeXLive crash because of differing local and server versions
Until this commit, when the user had a previous TeXLive tarball already
present (in their software-tarball directory) compared to the CTAN server,
the project crashed in the configure phase. This was because TeXLive is
updated yearly and we don't yet install TeXLive from source (currently we
use its own package manager, but we plan to fix this in task #15267).
With this commit, we fix the problem by checking the cause of the crash
during the installation of TeX. If the crash is due to this particular
error, we ignore the old tarball and download the new one and install it
(the old one is still kept in '.build/software/tarballs', but will get a
'-OLD' in its name. This probem was recurrent, and every year that TeXLive
is updated, the previous tarball had to be removed manually! But with this
commit, this is done automatically. The detection and fix of this bug has
been possible with the help of Mohammad Akhlaghi, thanks!
Diffstat (limited to 'reproduce/software/shell/git-pre-commit')
0 files changed, 0 insertions, 0 deletions