Commandes en lien avec la gestion des fichiers et dossiers
Création d'un fichier : touch oui mais non...
Attention :
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 >
Création d'un dossier : mkdir
Remarque :
Si vous souhaitez créer 2 dossiers imbriquées inexistants, vous pouvez renouveler la commande. Ou alors, utiliser l'option suivante :
Très efficace car il va créer le dossier parent automatiquement !
Supprimer un fichier ou dossier : rm
Remarque : Suppression récursive
Pour supprimer un dossier non vide, il est nécessaire d'utiliser la commande rm avec l'option -r pour effacer le dossier et son contenu (y compris les sous-dossiers).
L'option -f force la suppression mais attention, danger !
Copier un fichier : cp
Remarque : Renommage en utilisant la copie...
Complément : Copie récursive
Tout comme la suppression, on pourra copier des dossiers avec l'option -r ou -R.
Déplacer un fichier : mv
Remarque : Renommage en utilisant le déplacement...
Le nom du fichier « destination » n'est pas obligatoirement le même que le nom du fichier « source » ; cela permet donc de déplacer en renommant un fichier, par exemple :
Attention toutefois à ne pas changer l'extension...
Et si la « source » et la « destination » est identique ; alors, c'est un renommage simple