diff options
author | Norbert Preining <preining@logic.at> | 2016-05-18 06:04:47 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2016-05-18 06:04:47 +0000 |
commit | 1ede7a0ee9c7182bb3c0db2c20766638277e74e4 (patch) | |
tree | 4a129354d68ce5c05cfcfb4cb699372df7f9c440 | |
parent | 10d763c992d34fbdd187bbdf5bc935995da2acb4 (diff) |
tlmgrgui: massage cmd line args to remove =
git-svn-id: svn://tug.org/texlive/trunk@41232 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgrgui.pl | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgrgui.pl b/Master/texmf-dist/scripts/texlive/tlmgrgui.pl index bad08f0f6a2..4d9a626fec5 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgrgui.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgrgui.pl @@ -242,7 +242,20 @@ sub guimain { ############## GUI ######################## sub build_initial_gui { - Tk::CmdLine::SetArguments(@::SAVEDARGV); + # processed @::SAVEDARGV to replace + # --font='foobar' + # with + # --font 'foobar' + # as required by Tk::CmdLine. + my @a; + for my $c (@::SAVEDARGV) { + if ($c =~ m/^--?(font|background|class|display|screen|foreground|geometry|name|title|xrm)=(.*)$/) { + push @a, "--$1", $2; + } else { + push @a, $c; + } + } + Tk::CmdLine::SetArguments(@a); $mw = MainWindow->new; $mw->title("TeX Live Manager $TeXLive::TLConfig::ReleaseYear"); $mw->withdraw; |