• Afficher la page
  • Anciennes révisionsLiens de retour

    • 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édentesRévision précédente
    Prochaine révisionLes deux révisions suivantes
    tweaker_sa_session [2020/03/11 17:03] – [Le terminal et sa forme] le-gal2016tweaker_sa_session [2020/03/11 17:04] – [Le terminal et sa forme] le-gal2016
    Ligne 43: Ligne 43:
     Ouaip ! Il faut connaître un peu l'outil, mais je vous propose au moins mon astuce : ajoutez les lignes suivantes à la fin de votre .bashrc, sourcez-le et profitez ! Ouaip ! Il faut connaître un peu l'outil, mais je vous propose au moins mon astuce : ajoutez les lignes suivantes à la fin de votre .bashrc, sourcez-le et profitez !
      
    -PROMPT_COMMAND = __prompt_command +PROMPT_COMMAND = __ prompt_command (SUPPRIMEZ L'ESPACE)
      
    -__prompt_command() {+__ prompt_command() { (SUPPRIMEZ L'ESPACE)
         local EXIT="$?"     local EXIT="$?"
         PS1=""     PS1=""