diff options
author | Norbert Preining <preining@logic.at> | 2023-08-07 21:47:31 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2023-08-07 21:47:31 +0000 |
commit | ac2145912ea8ea33ad415de425193757e9a17e33 (patch) | |
tree | 1fcaa4f3572e6fb32fe9280463163dab2b642fc5 /Master/install-tl | |
parent | df0708f869353b78f30a920de9f69fd78db5fb6b (diff) |
[install-tl] Deal with all kind of line delimiters when reading profiles
git-svn-id: svn://tug.org/texlive/trunk@67839 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index 8356136e875..4b43170b0c3 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -2238,7 +2238,10 @@ sub read_profile { # from the tlpdb do not overwrite -seed-profile values. my %pro; while (<PROFILE>) { - chomp; + # don't use chomp here since we might use files written for Windows + # on Unix or the other way round. + # \R is a general line terminator, \z is end of string + s{\R\z}{}; next if m/^[[:space:]]*$/; # skip empty lines next if m/^[[:space:]]*#/; # skip comment lines s/^[[:space:]]+//; # ignore leading (but not trailing) whitespace |