From 9cdd1ac8ebab8dc6a95ea8e5d1e77ebdf59ef552 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Wed, 10 Oct 2018 02:42:50 +0000 Subject: allow TLPDB->from_file to manually set media type git-svn-id: svn://tug.org/texlive/trunk@48874 c570f23f-e606-0410-a88d-b1316a301751 --- Master/tlpkg/TeXLive/TLPDB.pm | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'Master/tlpkg/TeXLive') diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index cfd5b2fa2fc..f7a76b9461d 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -287,7 +287,9 @@ sub from_file { if ($rootpath =~ m,file://*(.*)$,) { $rootpath = "/$1"; } - if (-d "$rootpath/texmf-dist/web2c") { + if ($params{'media'}) { + $media = $params{'media'}; + } elsif (-d "$rootpath/texmf-dist/web2c") { $media = 'local_uncompressed'; } elsif (-d "$rootpath/texmf/web2c") { # older $media = 'local_uncompressed'; -- cgit v1.2.3