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 25/05/2014, 08:26] moissan [BASH : Bourne Again Shell] |
bash [Le 29/01/2015, 10:11] __fabrice [Une meilleure gestion de l'historique] |
||
|---|---|---|---|
| Ligne 56: | Ligne 56: | ||
| <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. | ||
| </note> | </note> | ||