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
Prochaine révision
Révision précédente
Prochaine révision Les deux révisions suivantes
bash [Le 08/03/2014, 12:17]
80.11.36.218 [Une meilleure gestion de l'historique]
bash [Le 29/01/2015, 10:11]
__fabrice [Une meilleure gestion de l'historique]
Ligne 6: Ligne 6:
  
 BASH est un [[shell]]. BASH est un [[shell]].
 +
 +http://​abs.traduc.org/​abs-fr/​
  
 ===== Introduction / Utilisation ===== ===== Introduction / Utilisation =====
Ligne 54: 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>​
  
  • bash.txt
  • Dernière modification: Le 04/08/2023, 15:46
  • par Amiralgaby