diff options
author | Norbert Preining <preining@logic.at> | 2018-09-27 15:05:13 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2018-09-27 15:05:13 +0000 |
commit | 2e8b501ba7e5bbb1ab7a314cae424b3e3fca4271 (patch) | |
tree | e39dbbb46e3f419c1c2974768675acbf58ff343e /Master/install-tl | |
parent | 6b7984657951aba7aaf794c59ea1a17535e793b9 (diff) |
allow setting the font in installer
git-svn-id: svn://tug.org/texlive/trunk@48775 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Master/install-tl b/Master/install-tl index 330e1638f6b..97f8202b973 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -189,6 +189,7 @@ my $opt_profile = ""; my $opt_scheme = ""; my $opt_version = 0; my $opt_warn_checksums = 1; +my $opt_font; # unusual cases: $::opt_select_repository = 0; our $opt_in_place = 0; @@ -277,6 +278,7 @@ GetOptions( "profile=s" => \$opt_profile, "scheme=s" => \$opt_scheme, "select-repository" => \$::opt_select_repository, + "font=s" => \$opt_font, "tcl", # handled by wrapper "verify-downloads!" => \$opt_verify_downloads, "version" => \$opt_version, @@ -459,6 +461,13 @@ if (($opt_gui ne "extl") && ($opt_gui ne "text") && !$opt_no_gui && ($opt_profil tlwarn(" $@\n"); tlwarn("Continuing in text mode...\n"); $opt_gui = "text"; + } else { + # try to set up fonts if $opt_gui is given + if ($opt_font) { + my @a; + push @a, "--font", $opt_font; + Tk::CmdLine::SetArguments(@a); + } } if ($opt_gui eq "text") { # we switched from GUI to non-GUI mode, tell the user and wait a bit |