On Mon, Oct 13, 2003 at 11:44:19AM +0200, Wouter Verhelst wrote: || Op zo 12-10-2003, om 01:41 schreef Vincent Zweije: || > Ook hier: dat README.Debian zou wel eens README.Debian.gz moeten kunnen || > zijn. Bugje upstream als ik gelijk heb. || || Niet per sé. README.Debian is een bestand dat, per Debian Policy, hoort || in /usr/share/doc, met wat debian-specifieke informatie. Daarnaast || specifieert Debian Policy dat bestanden in /usr/share/doc gecomprimeerd || moeten worden met gzip -9, "unless it is small". Vandaar mijn "zou wel eens". Ik had het ergens anders fout aangetroffen en dacht dat het hier ook wel fout zou kunnen zijn. || Nu weet ik uiteraard niet hoe groot die README.Debian is; maar wanneer || het bestand klein genoeg is, is compressie niet noodzakelijk. En || uiteindelijk is het niet het gecomprimeerde bestand dat interessant is, || maar het gedecomprimeerde bestand. Ik vind dat, als het bestand een .gz extensie heeft, je die moet opgeven. Bestandsextensies weglaten gaat niet aan. Het bestand zonder de .gz extensie bestaat niet. Dat het gedecomprimeerd moet worden om bruikbaar te zijn blijkt dan vanzelf wel. Ciao. Vincent.
Attachment:
pgpm3MFIMnnIY.pgp
Description: PGP signature