diff options
author | Norbert Preining <preining@logic.at> | 2017-10-27 04:21:47 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2017-10-27 04:21:47 +0000 |
commit | 9e043b93fc4f0da1dfca3d1f4fb8026561470cf8 (patch) | |
tree | 05fb487eaebf310da6fa4074ceca726f6aa00637 /Master/tlpkg/TeXLive/TLConfig.pm | |
parent | da23291b51d577b5b2c8e35a41b01159b7a1e7de (diff) |
rework (again) location of various configuration options
Currently opt_frozen is set in 00texlive.installation and thus
was in principle targeted for user editing. Furthermore, it wasn't
a defined key in TLConfig::TLPDBOptions.
The frozen setting has now moved in 00texlive.config.tlpsrc, which
also defines the container format etc, thus the proper place.
At the same time we cleared out 00texlive.installation.tlpsrc,
it is not necessary anymore, and only carried wrong information.
All the defaults for options/settings in 00texlive.installation
are now defined in TLConfig.
git-svn-id: svn://tug.org/texlive/trunk@45617 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive/TLConfig.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLConfig.pm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLConfig.pm b/Master/tlpkg/TeXLive/TLConfig.pm index d9f97d9a859..5d7634cfaab 100644 --- a/Master/tlpkg/TeXLive/TLConfig.pm +++ b/Master/tlpkg/TeXLive/TLConfig.pm @@ -108,12 +108,14 @@ our $DefaultContainerFormat = "xz"; our $DefaultContainerExtension = "tar.$DefaultContainerFormat"; # archive (not user) settings. +# these can be overriden by putting them into 00texlive.config.tlpsrc our %TLPDBConfigs = ( "container_split_src_files" => 1, "container_split_doc_files" => 1, "container_format" => $DefaultContainerFormat, "minrelease" => $MinRelease, "release" => $ReleaseYear, + "frozen" => 0, ); # definition of the option strings and their value types |