<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <div class="moz-cite-prefix">Well, there are other FTP servers,

      Adam.  For example : 

      <a class="moz-txt-link-freetext" href="ftp://ftp.sun.ac.za/ftp/CTAN/systems/knuth/dist/">ftp://ftp.sun.ac.za/ftp/CTAN/systems/knuth/dist/</a><br>

      <i>Philip Taylor</i><i><br>

      </i>---------<br>

      Adam Purkrt wrote:<br>

    </div>

    <blockquote type="cite"

      cite="mid:8acbea28-70a9-2601-6c57-fc2059b2ca8b@purkrt.net">Thank

      you. To be honest, I think FTP would still be nice to have.

      <br>

      I find the command line ftp easier to use than the web interface.

      <br>

      There is wget program for downloading over https, but I do not

      know

      <br>

      how to list the files in a directory, I even think, that listing a

      directory over http(s) is impossible. Not sure about that.

      <br>

      Anyway, thanks again! Adam Purkrt<br>

    </blockquote>

    <br>

  </body>

</html>