Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
bash [Le 29/01/2015, 10:11]
__fabrice [Une meilleure gestion de l'historique]
bash [Le 01/03/2016, 23:21] (Version actuelle)
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 ?+Apparemmentpas 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.
  • bash.txt
  • Dernière modification: Le 01/03/2016, 23:21
  • par 90.31.21.77