Pour mémoire.
Compresser avec 7z :
a
: option pour créer l'archive.-v123m
: [facultatif] l'archive sera découpée en parties de 123 Mo. Il y a aussi b (byte), k (kilo) et g (giga).-mx=9
: [facultatif] 7z utilisera le plus fort taux de compression (par défaut c'est 5). Pour l'archivage simple sans compression c'est 0. Il y a aussi 1, 3 et 7.archive.7z
: le nom de l'archive (les parties auront un suffixe 001, 002, ..., le cas échéant. Par exemple archive.7z.023
). L'archive sera créée dans le répertoire courant. Pour la créer ailleurs, il suffit de spécifier le chemin de l'archive : /mon/repertoire/archive.7z
.répertoire_à_compresser/
: comme son nom l'indique ...7z a -v123m -mx=9 archive.7z répertoire_à_compresser/
Décompresser avec 7z :
x
: pour extraire l'archive.archive.7z
: le nom de l'archive à décompresser. S'il s'agit d'une archive coupée en parties, il faut utiliser la partie 001.-o/target/directory/
: pas d'espace entre l'option et le chemin. Indique l'endroit où l'archive sera décompressée. Si cette option est absente, l'archive est décompressée dans le répertoire courant (celui où la commande est lancée).7z x /source/directory/archive.7z -o/target/directory/
Pour mémoire.
Comment extraire la n-ème ligne d'une fichier en bash?
Soit le fichier suivant :
Ligne 01
Ligne 02
Ligne 03
Ligne 04
Ligne 05
Ligne 06
Ligne 07
Avec l'outil sed :
# J'extrais la 4eme ligne du fichier
cat mon_fichier | sed "4q;d"
# Ce qui donne
Ligne 04
# J'extrais la 67eme ligne (avec une variable)
var="67"
cat mon_fichier | sed "${var}q;d"
mediainfo, l'outil en CLI à mettre dans les utilitaires indispensables !