123
modifications
« Trucs et astuces pour la console » : différence entre les versions
Aller à la navigation
Aller à la recherche
m
aucun résumé des modifications
mAucun résumé des modifications |
|||
| Ligne 49 : | Ligne 49 : | ||
'''Ctrl + R''' n'est pas mal non plus, car taper '''Ctrl + R''' suivi du début d'une commande recherchera en arrière les commandes déja tapées qui correspondent. Il vous proposera la première trouvée, si elle ne convient pas, retapez '''Ctrl + R''' il vous proposera la suivante, et ainsi de suite. | '''Ctrl + R''' n'est pas mal non plus, car taper '''Ctrl + R''' suivi du début d'une commande recherchera en arrière les commandes déja tapées qui correspondent. Il vous proposera la première trouvée, si elle ne convient pas, retapez '''Ctrl + R''' il vous proposera la suivante, et ainsi de suite. | ||
== Redirection, "pipe" et autres amusements == | |||
=== Redirection === | |||
=== Piping === | |||
=== Noms complexes === | |||
=== Parenthèses === | |||
[[Category:Commandes]] | [[Category:Commandes]] | ||