Outils pour utilisateurs

Outils du site


linux
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.txt · Dernière modification: 2021/08/25 21:18 de 86.252.206.115