editor
621
modifications
« Trucs et astuces pour la console » : différence entre les versions
Aller à la navigation
Aller à la recherche
→Noms comportant des espaces
| Ligne 190 : | Ligne 190 : | ||
* mettre le nom entre guillemets : '''mkdir "Rapport de juin"''' | * mettre le nom entre guillemets : '''mkdir "Rapport de juin"''' | ||
* échapper les caractères en les | * échapper les caractères en les faisant précéder d'un caractère "backslash" ( '''\''' ) : '''mkdir Rapport\ de\ juin''' | ||
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 : | ||