Outils pour utilisateurs

Outils du site


linux

Ceci est une ancienne révision du document !


Unzip vers dossier

unzip filename.zip -d home/pictures/vacances_2018

Rename directory

mv <source_directory> <target_directory>

Copy directory

cp -R <source_folder> <destination_folder>

Unzip tar.gz

tar -xf archive.tar.gz

chrome-debian

linux.1629919135.txt.gz · Dernière modification: 2021/08/25 21:18 de 86.252.206.115