<div dir="ltr"><div>Philip thank you! I agree with your comments about ambiguity, also `TeX --help` has a comment about starting with a `backslash`, I'm ok with it. But there is a tiny little dot (full stop) in the beginning of my examples, and I expect
<span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-">it should be enough to dispel ambiguity -> I worte `TeX <b>.</b>\some\file.tex` and not 
<span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-">`TeX \some\file.tex` without a dot, does this make sense to you?</span></span></span></span></div><div><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-"><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-"><br></span></span></span></span></div><div><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-"><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-">with kind regards,</span></span></span></span></div><div><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-"><span class="gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-">-gdg<br></span></span>

</span></span></div>

</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">пт, 26 июл. 2019 г. в 11:19, Taylor, P <<a href="mailto:P.Taylor@rhul.ac.uk">P.Taylor@rhul.ac.uk</a>>:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">



<div bgcolor="#FFFFFF">
<div class="gmail-m_4298694285337161881moz-cite-prefix">Kirill Balunov wrote:<br>
<br>
</div>
<blockquote type="cite">
<div dir="ltr">
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">Maybe I incorrectly described in what, in my opinion, TeX Live can better. 
<span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">I fully ok with the removal of  8.3 names support, 
<span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">their time has passed.
<br>
</span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><br>
</span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">But
 as for the directory separator, I would like to TeXLive (on Windows) to be as agnostic as possible, for two reasons:</span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">1.
 It works in some parts, but not in the others.</span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">2.
 No error is produced.<br>
</span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><br>
</span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">Concerning
 the 1. as I showed in the example it is ok to use both <span style="font-family:courier new,monospace">
<span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title=""><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-">-output-directory=".\Tex\local"</span></span></span></span></span></span></span></span></span>
 and  <span style="font-family:courier new,monospace"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title=""><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-">-output-directory="./Tex/local"<span style="font-family:arial,sans-serif">,
 but this does not work for input files ( <span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en">
<span title="">this is obviously perceived as an existing possibility, but to some extent not coordinated in various places</span></span>). 
<span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en">
<span title="" class="gmail-m_4298694285337161881gmail-">Maybe I completely do not understand what difficulties are on the way.</span></span> If so I would like to know what they are.</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span style="font-family:courier new,monospace"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title=""><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span style="font-family:arial,sans-serif"><br>
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></div>
<div><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span style="font-family:courier new,monospace"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title=""><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span style="font-family:arial,sans-serif"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">Why
 I <span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en">
<span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-"><span style="font-family:courier new,monospace"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title=""><span class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-tlid-translation gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-m_6724498004672345221gmail-"><span style="font-family:arial,sans-serif"><span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-translation" lang="en"><span title="" class="gmail-m_4298694285337161881gmail-">am</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span>
 so concerned :) because many cross-platform libraries and utilities that work with paths (directories) use platform dependent directory separators (and usually the user has no control over this).</span></span> And this miss in the TeXLive functionality in
 some parts, breaks their lovely attempts. <span class="gmail-m_4298694285337161881gmail-tlid-translation gmail-m_4298694285337161881gmail-translation" lang="en">
<span title="" class="gmail-m_4298694285337161881gmail-">Of course it is not difficult at the end to replace every
<span style="font-family:courier new,monospace">
"\"</span> with <span style="font-family:courier new,monospace">
"/"</span>, but it looks pretty crazy to do this for program running on Windows. And of course it is a very hard to find bug, because no error is produced.</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span><br>
</div>
</div>
</blockquote>
<br>
The problem is simply that TeX's escape character is the same as MS-DOS's path-element separator (a backslash).  Once that is accepted, it is clear that TeX cannot of itself unambiguously parse (e.g.,) "TeX \string\filename.extension.  It cannot know whether
 "string" is a command or a path element.  Therefore a rule has to be implemented, and that rule is "TeX commands take precedence" — wherever "\string" occurs in a context where it could represent a command and could also represent a path element, it will 
 invariably be parsed as a command.<br>
<br>
Philip Taylor<br>
</div>

</blockquote></div>