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> | ||