Différences
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 Les deux révisions suivantes | ||
|
bash [Le 29/01/2015, 10:11] __fabrice [Une meilleure gestion de l'historique] |
bash [Le 01/03/2016, 23:21] 90.31.21.77 [Une meilleure gestion de l'historique] |
||
|---|---|---|---|
| Ligne 55: | Ligne 55: | ||
| <note help> | <note help> | ||
| - | Apparemment pas de fichier .inputrc dans le dossier personnel sous 12.04, faut-il le créer ? | + | Apparemment, pas de fichier .inputrc dans le dossier personnel sous 12.04, faut-il le créer ? |
| Oui, et cela fonctionne très bien. Idem sous 14.04. | Oui, et cela fonctionne très bien. Idem sous 14.04. | ||