<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    * learns Python *<br>
    <br>
    I managed to get my first Python script working, I've removed
    comments and whitespace between tags, I'm now down to 335 kB. Now
    going for whitespace inside tags, will send the script when that
    works as well. :)<br>
    <br>
    <div class="moz-signature"><small><a
          href="http://www.jeroenvandergun.nl/pki">Publieke sleutels
          voor e-mailcryptografie</a></small></div>
    <br>
    Op 14-7-2011 16:47, Peter Eckersley schreef:
    <blockquote cite="mid:20110714144752.GF2687@xylophonic" type="cite">
      <pre wrap="">I'd prefer not to add another scripting-language dependency to the the build
process if possible.  Could you be talked into Python, which we already use?

On Thu, Jul 14, 2011 at 04:19:49PM +0200, Jeroen van der Gun wrote:
</pre>
      <blockquote type="cite">
        <pre wrap="">I don't really know much about Linux shell scripts, but would a PHP
command-line script to minify the XML be okay? If so, I can make one.

Publieke sleutels voor e-mailcryptografie
<a class="moz-txt-link-rfc2396E" href="http://www.jeroenvandergun.nl/pki"><http://www.jeroenvandergun.nl/pki></a>

Op 14-7-2011 0:58, Peter Eckersley schreef:
</pre>
        <blockquote type="cite">
          <pre wrap="">On Wed, Jul 13, 2011 at 03:49:08PM -0700, Maxim Nazarenko wrote:
</pre>
          <blockquote type="cite">
            <pre wrap="">Precompilation? Binary XML?

On 13 July 2011 15:36, Jeroen van der Gun <a class="moz-txt-link-rfc2396E" href="mailto:jeroen@blijbol.nl"><jeroen@blijbol.nl></a> wrote:
</pre>
            <blockquote type="cite">
              <pre wrap="">If you put everything in a single XML file, wouldn't it also be useful for
performance reasons to minify this file (e.g. strip white space, line
breaks, comments) to make it parse faster and to keep the file size down?
</pre>
            </blockquote>
          </blockquote>
          <pre wrap="">All of the above are worthwhile suggestions (another win would be to leave
the file gzipped on installation, and decompress it from within Firefox at load
time, which would save another ~250 kB of disk IO).  

However these things are all diminishing returns from the change we just made,
so we'll consider patches to implement them but aren't planning on doing so
ourselves.

</pre>
        </blockquote>
      </blockquote>
      <pre wrap="">
</pre>
    </blockquote>
  </body>
</html>