User Tools

Site Tools


terminal-root

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
terminal-root [2020/06/28 22:12]
guy [Terminal graphique]
terminal-root [2020/06/28 22:15] (current)
guy [Terminal graphique]
Line 35: Line 35:
 On peut configurer les couleurs de fond et du texte de la console par **Edition/​Profil actuel/​Couleurs**. On peut configurer les couleurs de fond et du texte de la console par **Edition/​Profil actuel/​Couleurs**.
  
-{{console.png|}}{{:​console.png?​600|}}+{{:​console.png?​450|}}
  
 D'​autre part, dans le fichier de configuration **/​home/<​login>/​.bashrc**,​ on peut aussi modifer l'​interface en vérifiant l'​activation de la couleur par les lignes suivantes (en général, à décommenter. C'est à dire, supprimer le dièze devant la ligne de commande. Le premier dièze décrit la commande qui suit): D'​autre part, dans le fichier de configuration **/​home/<​login>/​.bashrc**,​ on peut aussi modifer l'​interface en vérifiant l'​activation de la couleur par les lignes suivantes (en général, à décommenter. C'est à dire, supprimer le dièze devant la ligne de commande. Le premier dièze décrit la commande qui suit):
  
-{{console_couleurs.png|}}+{{console_couleurs.png?450|}}
  
  
terminal-root.txt · Last modified: 2020/06/28 22:15 by guy