GNU/Linux >> Tutoriels Linux >  >> Linux

Changer le thème du terminal Gnome par programmation

Cela ne fait pas ce que vous avez demandé, mais cela fait probablement ce que vous voulez.

Vous pouvez modifier votre .bashrc (ou un fichier d'initialisation shell équivalent) pour définir votre invite selon que vous utilisez ssh ou non.

c'est-à-dire mettre quelque chose comme :

if [ -n $SSH_TTY ]; then
     export PS1=`echo -en '\033[42m\w\$ '`;
fi;

à la fin de votre .bashrc fichier sur la machine distante. le \033[42m est un code d'échappement ANSI qui change la couleur d'arrière-plan en vert.

De cette façon, la couleur de fond de votre terminal sera verte (ou magenta, ou cyan, ou autre) uniquement lorsque vous êtes connecté à une machine distante.


Vous voudrez peut-être vérifier les options de gnome-terminal :

gnome-terminal --help

donne

 --window-with-profile=PROFILENAME

Enveloppez ceci dans un script shell :

#!/bin/bash
gnome-terminal --window-with-profile=PROFILENAME

alors fais

ssh-term

Si vous souhaitez modifier davantage, examinez un terme et d'autres termes. Regardez également Devilspie qui peut faire des changements plus dynamiques basés sur des choses comme le titre de la fenêtre (en supprimant les décorations de la fenêtre, etc.).

http://burtonini.com/blog/computers/devilspie


Linux
  1. Changer le thème Ubuntu 21.10 Impish Indri - Guide étape par étape ?

  2. Fil d'édition d'images facile à utiliser ?

  3. Changer la couleur d'arrière-plan du terminal Gnome à la volée ?

  4. gnome-terminal :commande introuvable

  5. Comment changer le thème GTK, Icon ou GNOME Shell dans GNOME

Personnalisez votre thème de bureau GNOME

Comment changer la couleur de votre terminal Linux

Changez le thème de couleur de votre terminal Linux

Comment thématiser GNOME Shell 3.16 (en cinq étapes simples)

Comment changer le thème de couleur Eclipse sous Linux ou Windows

Changer le mot de passe par programmation