Il formato zip è il formato standard per la compressione dei file, tuttavia alcuni sistemi preferiscono utilizzare il formato 7z, perché offre rapporti di compressione decisamente migliore. Se anche a voi è capitato qualche volta di dover convertire un archivio zip in 7z oppure in rar, vi sarete sicuramente accorti quanto è noiosa la procedura perchè dobbiamo estrarre tutto l’archivio e poi ricomprimerlo. Questa procedura possiamo farla quando sono due, al massimo tre archivi. Ma quando invece ne dobbiamo convertire molti. Ecco che ci viene in aiuto un semplicissimo script in Batch scritto da: Jason Faulkner.
Con questo script è possibile convertire tutti i files zip presenti in una cartella in files 7z.
