.bashrc generator : créer votre propre .bashrc PS1 via une interface glisser-déposer Mots-clés bash 13 juillet 2014 Pour personnaliser le PS1 de son batch. source .bashrc generator