<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 28 Jul 2022 at 09:07, Philip Taylor (Hellenic Institute) <<a href="mailto:P.Taylor@hellenic-institute.uk">P.Taylor@hellenic-institute.uk</a>> wrote:<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"><br><p>Ignoring the LaTeX wrapper, David, this returns nothing useful
      for me from Windows using CMD :<br>
    </p><br></div></blockquote><div><br></div><div>well it prints the value of that environment variable, which isĀ  not set. That may or may not be useful information. But I suppose your real question is not tex related. If you type <br></div><div>set</div><div>at the command prompt it will show all the environment variables that are set. But as Norbert just showed, these settings are not so useful in Windows as information is mostly in the Registry which requires dark arts to extract.</div><div><br></div><div>David</div><div><br></div><div><br></div></div></div>