editor
621
modifications
« Trucs et astuces pour la console » : différence entre les versions
Aller à la navigation
Aller à la recherche
m
→Noms comportant des espaces : chg "dossier" par "répertoire"
m (→Pipeline : chg "dossier" par "répertoire") |
m (→Noms comportant des espaces : chg "dossier" par "répertoire") |
||
| Ligne 184 : | Ligne 184 : | ||
=== Noms comportant des espaces === | === Noms comportant des espaces === | ||
Imaginons que vous vouliez créer dans votre | Imaginons que vous vouliez créer dans votre répertoire personnel un répertoire nommé "Rapport de juin". Un '''mkdir Rapport de juin''' risque fort de ne pas donner le résultat escompté : Vous allez vous retrouver avec 3 répertoires nommés Rapport, de et juin. | ||
Pour créer ce | Pour créer ce répertoire il y a deux manières de procéder : | ||
* mettre le nom entre guillemets : '''mkdir "Rapport de juin"''' | * mettre le nom entre guillemets : '''mkdir "Rapport de juin"''' | ||
| Ligne 194 : | Ligne 194 : | ||
De même, pour l'effacement, un '''rm -r Rapport de juin''' vous donnera : | De même, pour l'effacement, un '''rm -r Rapport de juin''' vous donnera : | ||
rm: impossible de supprimer « Rapport »: Aucun fichier ou | rm: impossible de supprimer « Rapport »: Aucun fichier ou répertoire de ce type | ||
rm: impossible de supprimer « de »: Aucun fichier ou | rm: impossible de supprimer « de »: Aucun fichier ou répertoire de ce type | ||
rm: impossible de supprimer « juin »: Aucun fichier ou | rm: impossible de supprimer « juin »: Aucun fichier ou répertoire de ce type | ||