123
modifications
« Trucs et astuces pour la console » : différence entre les versions
Aller à la navigation
Aller à la recherche
m
→Redirection, "pipe" et autres amusements
| Ligne 101 : | Ligne 101 : | ||
'''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 au début que vous venez d'entrer. 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 au début que vous venez d'entrer. 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, | == Redirection, pipeline et autres amusements == | ||
=== Redirection === | === Redirection === | ||