Gestion des fichiers et des dossiers☘
mkdir
: créer un nouveau dossier☘
La commande mkdir
permet de créer un dossier dans le répertoire courant.
Cette commande est de la forme :
mkdir nom_du_dossier
Attention
Jamais d'espace dans les noms de fichier ou de dossier.
Ne pas utiliser non plus de caractères accentués dans les noms de dossier (ou de fichier).
Astuce
Si vous souhaitez créer deux dossiers imbriquées inexistants, vous pouvez renouveler la commande.
Ou alors, utiliser l'option -p
:
mkdir -p nom_du_dossier_parent/nom_du_dossier
touch
: créer un fichier vide☘
La commande touch
permet de créer un fichier vide.
Cette commande est de la forme :
touch nom_du_fichier_à_créer
Remarque
En réalité, cette commande permet de modifier la date de dernière
modification d'un fichier. En gros, c'est comme si on ouvrait le fichier
et qu'on le refermait... La commande la plus propre est d'utiliser la
redirection >
(hors programme de NSI).
rm
: supprimer un fichier☘
La commande rm
permet de supprimer un fichier.
Cette commande est de la forme :
rm nom_du_fichier
rmdir
: supprimer un dossier☘
La commande rmdir
permet de supprimer un dossier.
Cette commande est de la forme :
rmdir nom_du_dossier
Pour supprimer un dossier non vide, il est nécessaire d'utiliser la
commande rmdir
avec l'option -r
pour effacer le dossier et son contenu
(y compris les sous-dossiers) :
rmdir -r nom_du_dossier
mv
: déplacer et/ou renommer un fichier☘
La commande mv
permet de déplacer un fichier ou un dossier.
Cette commande est de la forme:
mv dossier_source/nom_fichier_a_deplacer dossier_destination/nom_fichier
Le nom du fichier « destination » n'est pas obligatoirement le même que le nom du fichier « source » (attention toutefois à ne pas changer l'extension). Par exemple :
mv fic.txt info/fiche.txt
- Pour déplacer un répertoire non vide, il faut ajouter l'option
-r
. -
Pour renommer un fichier, il suffit de le déplacer dans le même répertoire.
Exemple
mv fic.txt fiche.txt
cp
: copier un fichier ou un dossier☘
La commande cp
permet de copier un fichier ou et dossier.
Cette commande est de la forme :
cp dossier_source/nom_fichier_a_copier dossier_destination/nom_fichier
Le nom du fichier « destination » n'est pas obligatoirement le même que le nom du fichier « source » (attention toutefois à ne pas changer l'extension). Par exemple :
cp fic.txt info/fiche.txt
Astuces
- Pour copier un répertoire non vide, il faut ajouter l'option
-r
. - Pour copier l'intégralité du contenu d'un dossier, mais pas le dossier
lui-même, on utilise le caractère étoile : « * » :
cp -r dossier_source/* dossier_destination/