Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
doc:programmation:bash:history [28/04/2013 08:18] smolski [History - Reverse-Search] |
doc:programmation:bash:history [03/07/2014 00:06] 127.0.0.1 modification externe |
||
---|---|---|---|
Ligne 144: | Ligne 144: | ||
* [[http://www.crowd42.info/une-astuce-pour-retrouver-facilement-une-ligne-de-commande-deja-executee | Une astuce avec history.]] | * [[http://www.crowd42.info/une-astuce-pour-retrouver-facilement-une-ligne-de-commande-deja-executee | Une astuce avec history.]] | ||
- | Voir aussi la commande **Reverse-Search** en haut du tuto pour faire la même chose au clavier direct ! | + | Voir aussi la commande **Reverse-Search** en haut du tuto pour faire la même chose au clavier sans fichier à ajouter ! |
==== Lister history ==== | ==== Lister history ==== |