Hello Martin. Martin Guy wrote:
It sounds like there's space for an internet service that takes an address, sees what is available, downloads the content the user asked for in qhatever other formats are available, uncompresses it, recompresses it in the format they prefer and returns the result.
It is not exactly what you describe, but there are already sites that recompress files to other formats:
http://fossies.org/linux/privat/ed-1.10.tar.gz/ Some distros just recompress the files to their favorite format: http://ftp.dk.debian.org/exherbo/ed-1.10.tar.gz Best regards, Antonio. _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed