Le logiciel d'archivage 7Zip permet de compresser efficacement ses fichiers, parfois avec 25% de gain par rapport au format ZIP. Il est donc intéressant de convertir d'anciennes archives dans ce format. Je vous propose ici un script qui, en sélectionnant un fichier ou un groupe de fichiers, effectuera les manipulations de décompression/recompression.
La marche à suivre est la suivante :
Le script a deux modes d'utilisation :
L'outil peut convertir les fichiers RAR, GZ, 7Z vers du ZIP ou RAR, GZ, ZIP vers du 7Z. Il vous posera donc la question du format final.
Pendant l'opération, une jauge indiquant l'opération en cours se présente. Une fois le traitement terminé, le message suivant s'affiche :
RSS | Informations |