Le septidi 7 fructidor, an CCXXIV, Patrick Wiseman a écrit :
> You might want to rename with a .zip extension. The command line tool,
> unzip, used to require a zip extension.
I do not doubt your statement, but it is no longer true, and has been for
quite a long time.
Shell completion may get in the way of writing the file name easily, though,
but that is only a minor hindrance.
Regards,
--
Nicolas George