diff options
Diffstat (limited to 'Master/install-tl')
| -rwxr-xr-x | Master/install-tl | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index ac34c122baf..d6479523627 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -925,7 +925,19 @@ sub do_install_packages { foreach my $package (sort keys %install) { push @what, $package if ($install{$package} == 1); } - install_packages($tlpdb,$media,$localtlpdb,\@what,$vars{'option_src'},$vars{'option_doc'}); + if (!install_packages($tlpdb,$media,$localtlpdb,\@what, + $vars{'option_src'},$vars{'option_doc'})) { + my $profile_name = "installation.profile"; + create_profile($profile_name); + tlwarn("Installation failed.\n"); + tlwarn("Rerunning the installer will try to restart the installation.\n"); + tlwarn("Or you can restart by running the installer with:\n"); + if (win32()) { + tlwarn(" install-tl.bat --profile $profile_name [EXTRA-ARGS]\n"); + } else { + tlwarn(" install-tl --profile $profile_name [EXTRA-ARGS]\n"); + } + } } # for later complete removal we want to save some options and values |