<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Siep Kroonenberg wrote:<br>
<br>
</div>
<blockquote type="cite" cite="mid:20200309151915.GA2448@bitmuis.nl">
<blockquote type="cite">
<pre wrap="">It would seem "yes, it [or perhaps something else] does cause problems". On
asking it to "Update all", I was told :
</pre>
<blockquote type="cite">
<pre wrap="">ERROR
</pre>
</blockquote>
</blockquote>
<pre wrap="">
Try again tomorrow.</pre>
</blockquote>
<br>
How will this help, Siep ? If I cannot perform an "Update all"
today, how will I be able to perform an "Update all" tomorrow, since
by definition I will be using exactly the same instantiation of the
TeX Live manager as I am using today (because I cannot update it) ?
Or is the suggestion that if I re-r-synch tomorrow, my local
repository will then be more acceptable to the current TeX Live
manager than it is today ? And if the latter is the case, what is
the problem with today's copy ?<br>
<br>
<i>Philip Taylor</i><br>
</body>
</html>