diff options
Diffstat (limited to 'Master/install-tl')
| -rwxr-xr-x | Master/install-tl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/Master/install-tl b/Master/install-tl index 875589cc949..2a385464934 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -2168,12 +2168,13 @@ sub do_install_packages { # only suggest rerunning with the profile if it exists. tlwarn("Or you can restart by running the installer with:\n"); my $repostr = ($opt_location ? " --repository $location" : ""); + my $args = "--profile $profile_name [YOUR-EXTRA-ARGS]"; if (win32()) { - tlwarn(" install-tl-windows.bat$repostr --profile $profile_name [EXTRA-ARGS]\n" - ."or\n" - ." install-tl-advanced.bat$repostr --profile $profile_name [EXTRA-ARGS]\n"); + tlwarn(" install-tl-windows.bat$repostr $args\n" + ."or\n" + ." install-tl-advanced.bat$repostr $args\n"); } else { - tlwarn(" install-tl$repostr --profile $profile_name [EXTRA-ARGS]\n"); + tlwarn(" install-tl$repostr $args\n"); } } flushlog(); |