<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Philip Taylor wrote:<br>
<br>
</div>
<blockquote type="cite" cite="mid:5840130c-5aca-95dc-8919-d9bd97645fce@Hellenic-Institute.Uk">
Ah. I had thought that it would launch a GUI which would allow me to select from a set of pre-defined actions ... The real problem is that the diagnostic does not appear if one launches TLMGR from a Windows Explorer file listing, as I did. It was only when
I edited the first line to read "Echo on" that I was able to read and report the diagnostic.<br>
</blockquote>
<br>
The following small modifications to the prelude and postlude of "tlmgr.bat" would allow it to issue an appropriate diagnostic which would remain visible until dismissed by the user even if the file were launched from Windows Explorer —<br>
<br>
<blockquote type="cite">@echo off<br>
<br>
[...]<br>
<br>
rem Get TL installation root (w/o trailing backslash)<br>
set tlroot=%~dp0:<br>
set tlroot=%tlroot:\bin\win32\:=%<br>
</blockquote>
<br>
<i><b>rem check for gui or null argument</b></i><i><b><br>
</b></i><i><b>if x == x%1 goto guibailout<br>
</b></i><br>
<blockquote type="cite">[...]<br>
<br>
:err_rename_updater<br>
echo %~nx0: failed to rename "%tlupdater%">&2<br>
exit /b 1<br>
</blockquote>
<br>
<i><b>:guibailout</b></i><i><b><br>
</b></i><i><b>echo Please use tlshell as a GUI for tlmgr && PAUSE</b></i><i><b><br>
</b></i><i><b>exit /b 1</b></i><br>
<p>This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted.
If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of
London. It is your responsibility to ensure that this email and any attachments are virus free.</p>
<p></p>
</body>
</html>