bash 3 Comment configurer et utiliser l’historique bash 22/02/2023 bash prompt PS1 29/10/2020 Bash commandes utiles 29/10/2020