<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Norbert Preining wrote:<br>
<br>
</div>
<blockquote type="cite"
cite="mid:YJhBUNP9ySPUAo8Z@bulldog.preining.info"><br>
<pre wrap="">Ahhh ... interesting ... so we get these extra quotes here which is not
good!!
Can you try
curl -Ls -o nul -w %{url_effective} <a class="moz-txt-link-freetext" href="https://mirror.ctan.org/">https://mirror.ctan.org/</a>
</pre>
</blockquote>
<br>
<br>
By all means —<br>
<br>
<blockquote type="cite">C:\Windows\System32>curl -Ls -o nul -w
%{url_effective} <a class="moz-txt-link-freetext" href="https://mirror.ctan.org/">https://mirror.ctan.org/</a><br>
<a class="moz-txt-link-freetext" href="https://anorien.csc.warwick.ac.uk/mirrors/CTAN/">https://anorien.csc.warwick.ac.uk/mirrors/CTAN/</a><br>
C:\Windows\System32></blockquote>
-- <br>
<i>** Phil.</i><br>
<br>
</body>
</html>