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évision
Révision précédente
Dernière révisionLes deux révisions suivantes
tweaker_sa_session [2020/03/11 17:04] – [Le terminal et sa forme] le-gal2016tweaker_sa_session [2020/10/09 10:25] – Correction orthographe inacio2018
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 (SUPPRIMEZ L'ESPACE) 
  
-__ prompt_command() { (SUPPRIMEZ L'ESPACE)+---- 
 +PROMPT_COMMAND = __prompt_command 
 + 
 +__prompt_command() {
     local EXIT="$?"     local EXIT="$?"
     PS1=""     PS1=""
Ligne 55: Ligne 57:
     fi     fi
 } }
-====== Divers  ====== 
  
 +//Indice : allez dans l'éditeur pour copier-coller, la mise en forme se fait automatiquement et détruit la lisibilité.//
 +
 +====== Divers  ======
 +== Dark reader c'est bien ==
 +Que vous soyiez sur firefox ou chrome ou n'importe quelle autre horreur qui ne mérite pas d'être mentionnée, installez le **[[https://addons.mozilla.org/fr/firefox/addon/darkreader/?src=search|plug-in dark-reader]]** pour changer votre vie à tout jamais.
  
  --- //[[mlegal1996@gmail.com|Ilée]] rédigé en Mars 2020//  --- //[[mlegal1996@gmail.com|Ilée]] rédigé en Mars 2020//