# Un petit tutoriel pour gedit Ce court tutoriel explique comment autoriser le support complet de la couleur dans le terminal intégré dans gedit (plugin ``embedded terminal``). Tout d'abord, il faut que : 1. gedit soit installé, 2. et que le plugin soit installé, et activé. Par défaut, la couleur n'est **pas** autorisée et le terminal embarqué est *tout moche*, seulement en noir et blanc. Pour régler ce problème, et permettre qu'il utilise les mêmes couleurs que votre émulateur de terminal préféré, il va falloir faire plusieurs choses : ## Une ligne en plus dans votre ``~/.bashrc`` Il faudra rajouter cette ligne à votre fichier ``~/.bashrc`` : ```bash export COLORTERM=gnome-terminal ``` > Normalement, remplacer ``gnome-terminal`` par un autre émulateur avec des profils de couleurs configurables, comme ``terminator`` ou ``xterm`` devrait fonctionner, ## Configurer un profil de couleur via ``gnome-terminal`` Configurer le profil par défaut de ``gnome-terminal`` à votre guise (Via le menu *Édition* → *Préférences du profil* → *Couleurs* : premier plan .. et palette). ## Installer ``dconf-editor`` Installer l'outil ``dconf-editor``. Dans un terminal normal, la commande suivante devrait suffire : ```bash sudo apt-get install dconf-editor ``` ## Utiliser ``dconf-editor`` Lancer cet outil graphique, et tentez de suivre les indications suivantes : Normalement, sur l'explorateur de fichier a gauche dans l'interface graphique, vous verrez : ``` > a11y > apps > ca > com > desktop > org > system ``` ### Trouver les paramètres du terminal embarqué Si certains sont absents, ce n'est pas grave. Cliquez sur ``org``, puis ``gnome``. Là, une longue liste apparaît, et cliquez sur ``gedit``. Vous devrez voir au moins trois sous liens : ``plugins`` ``preferences`` et ``state``. Celui qui nous intéresse est ``plugins``. Cliquez encore, sur ``plugins``, puis sur ``terminal``. Voila, si vous avez réussi, vous avez une liste d'une douzaine de ``Name`` dans la colonne de gauche et de ``Value`` dans la colonne de droite, avec des explications dans le panneau du bas. > Ils sont sensés vous rappeler les paramètres de ``gnome-terminal`` ! ### Les changer Pour les paramètres cochables, choisissez comme vous préférez. En ce qui me concerne : ```config allow-bold = vrai (coché) scrollback-on-output = vrai scrollback-on-keystroke = vrai scrollback-unlimited = vrai silent-bell = vrai use-system-font = vrai ``` ### En décocher un ! Le dernier paramètre, ``use-theme-colors`` **doit être décoché**. Ensuite, vous pouvez choisir les autres paramètres (``cursor-blink-mode``, ``cursor-shape``) ou les supprimer. Pour faire ceci, cliquer sur la case contenant le paramètre, et effacer le caractère par caractère (touche DEL ou Suppr). En fait, avoir ajouté ``export COLORTERM=gnome-terminal`` dans votre fichier ``~/.bashrc`` va permettre au plugin ``embedded terminal`` d'aller chercher les paramètres qu'il lui manque dans ceux du profil par défaut de gnome-terminal ! Et ainsi, effacer les paramètres des cases ``font``, ``palette``, ``background-color`` et ``foreground-color`` permet de les synchroniser avec ceux de votre profil par défaut de gnome-terminal. *** ## Une question ? > Pour toutes questions, remarques, corrections, vous pouvez me contacter par courriel (lilian.besson[AT]ens-cachan.fr) ou via [ce formulaire](https://bitbucket.org/lbesson/web-sphinx/issues/new). GA|Analytics