Re: Wanted: converter of HTML links

[Fabrizio Polacco <fpolacco@megabaud.fi>]

Lars Wirzenius wrote:
> [...]
>         - read file.html
>         - for each link <a href="foo.html">, if foo.html exists,
-----------------------------------------------^^^^^^^^^^^^^^^^^^
>           convert the link to foo.html.gz instead
>         - otherwise, do not modify the link
>         - output is either to file.html.fixed or file.html (replace
>           original with modified version)

you'll get a chicken-egg here.
If the output of the conversion depends on the state of the files
installed by other packages, you'll need to re-convert the files at some
later stage, and what when the file you depend on have to be converted,
or has been converted?

While the program requested seems trivial, maybe you should consider the
idea of patching the server to accept a request for foo.html
uncompressing foo.html.gz on the fly. (does a browser tell the server if
he is able to unzip a compressed file?)


Fabrizio
-- 
+-------------------------------------------------------------+
| e-mail: fpolacco@megabaud.fi    fpolacco@debian.org         |
| http://megabaud.fi/~fpolacco/   Join the UKI Linux Project! |
| fingerprint 70 1A 72 2D 2B C8 A5 63 7A C2 CC E0 2A 54 AE DA |
| finger: fpolacco@megabaud.fi    fpolacco@master.debian.org  |
+-------------------------------------------------------------+

--
This message was distributed manually by Bruce@debian.org after the list
initially failed to distribute it.