« Gestion des fichiers » : différence entre les versions

Aller à la navigation Aller à la recherche
m
aucun résumé des modifications
mAucun résumé des modifications
mAucun résumé des modifications
Ligne 198 : Ligne 198 :
== Quelques "trucs"  ==
== Quelques "trucs"  ==


=== Effacer le fichier -fichier.txt. ===
=== Effacer un fichier commençant par un tiret ===


Il arrive que l'on fasse une fausse manipulation dans les commandes shell et que l'on se retrouve avec un fichier ayant un nom débutant par un tiret. Taper :  
Il arrive que l'on fasse une fausse manipulation dans les commandes shell et que l'on se retrouve avec un fichier ayant un nom débutant par un tiret. Taper :  
  $ rm -nom_du_fichier
  $ rm -fichier.txt


ne marchera pas, rm croyant qu'on est en train de lui passer une option puisque telle est la signification du premier tiret. Il faut donc utiliser l'option de fin de commande symbolisée par deux tirest consécutifs --. Pour notre exemple, on tapera :  
ne marchera pas, rm croyant qu'on est en train de lui passer une option puisque telle est la signification du premier tiret.<br>Il faut donc utiliser l'option de fin de commande symbolisée par deux tirest consécutifs --. Pour notre exemple, on tapera&nbsp;:  
  $ rm -- -fichier.txt
  $ rm -- -fichier.txt


Ligne 225 : Ligne 225 :


Il suffit de mettre le nom entre guillemets :
Il suffit de mettre le nom entre guillemets :
$ mv tutoriel linux/introduction renverra une erreur. Il faut taper&nbsp;:
$ mv tutoriel linux/introduction renverra une erreur. Il faut taper&nbsp;:
  $ mv "tutoriel linux"/introduction
  $ mv "tutoriel linux"/introduction


Administrators, autoreview, Vérificateurs d’utilisateurs, checkuser-log, editor, reviewer, usersnoop
3 321

modifications

Menu de navigation