J'ai créé un nouveau profil pour gnome-terminal et je peux basculer entre le profil "implicite" et le nouveau profil créé comme vous pouvez le voir dans l'image ci-dessous:
Maintenant, je me demande comment puis-je basculer entre les profils en utilisant une ligne de commande / script ou peut-être en utilisant un raccourci pour cela.
Remarque: des solutions telles que:
gnome-terminal --tab-with-profile=Implicit && exit
sont exclus car je préfère ne pas fermer et ouvrir un autre terminal ou obtenir une autre fenêtre de terminal dans ce processus de modification du profil.
command-line
shortcut-keys
gnome-terminal
Radu Rădeanu
la source
la source
Réponses:
Pour passer au profil "implicite":
Pour passer au deuxième profil:
xdotool
n'est pas installé par défaut dans Ubuntu, il doit donc être installé en premier.Bien sûr, pour ces commandes peuvent être ajoutés des raccourcis clavier personnalisés .
la source
man xdotool
pour plus d'informations) comme je l'ai demandé, qui fonctionne exactement comme je le souhaite et je suis satisfait de cette réponse jusqu'à ce que quelque chose de mieux apparaisse. ;)Beaucoup de bonnes réponses déjà, mais je voulais ajouter une autre variante en utilisant xdotool qui ne nécessite pas que la barre de menu soit visible ...
La combinaison de touches Maj + F10 ouvrira un menu contextuel (l'équivalent d'un clic droit sur le terminal) et à partir de là, le profil peut être modifié.
par exemple
xdotool key shift+F10 r 3
pour accéder au troisième profilJ'ai également constaté que cette méthode ne nécessite pas de définir un délai pour xdotool (que j'ai trouvé nécessaire pour la méthode de la barre de menus), c'est donc un peu plus rapide.
J'ai tendance à changer beaucoup de profils, donc j'enroule cela dans une fonction:
donc je peux simplement appeler
chp N
pour passer au Nième profil.Quelques conseils et particularités supplémentaires de ma configuration:
En ajoutant une
chp
commande à mon .bashrc, je peux forcer les nouveaux onglets à toujours basculer sur le profil par défautJe code la couleur de mes sessions ssh en fonction de l'hôte, mais je n'aime pas que mon alias ssh ouvre de nouveaux onglets ou fenêtres ET je souhaite que le profil revienne à la valeur par défaut lorsque je quitte ssh. Ma solution:
alias somehost="chp 2; ssh user@somehost; chp 1"
Je donne à xdotool le drapeau
--clearmodifiers
pour que si je détiens une touche de modification (lors de l'ouverture d'un onglet / fenêtre, de la sortie de ssh, etc.), cela n'interfère pas avec xdotool.Je ajoute mes noms de profil avec des chiffres afin que si j'en ajoute un nouveau, il ne change pas tous les autres en raison de l'alphabétisation du menu du profil
la source
--clearmodifiers
doit venir aprèskey
.Il n'y a pas de raccourci qui vous permet de changer le profil dans le terminal (sans naviguer dans les menus comme vous l'avez dit dans les commentaires), sans utiliser l'interface graphique. Citant le manuel ( stable , développement 3.9 ):
(Vous pouvez proposer cela comme suggestion dans le traqueur de bogues )
la source
gnome-terminal
, appuyez suralt
et voyez quelle lettre est mise en surbrillance pour votre version linguistique de 'Terminal' (c'est le 5ème élément de ma version polonaise, juste à gauche de 'Aide'), puis utilisez cette lettre avecalt
.Je cherchais à faire de même et j'ai finalement réussi à faire fonctionner un script, je l'ai mis sur mon GitHub .
Comme je l'explique dans le fichier README.md, il ne change pas réellement, mais charge une configuration de profils dans le profil par défaut. Pour ce faire, la configuration de chaque profil est enregistrée dans un fichier lors de la première exécution du script. Le script donne l'impression que vous basculez entre les profils, ce qui est assez bon pour moi. J'espère que cela aide n'importe qui ...
la source
Selon votre objectif, vous pouvez trouver ce script utile: https://github.com/xyrix/gnome-terminal-profile-switcher
Il fait une sorte de patch singe et génère un nouveau profil pour chaque terminal, puis définit quelques variables d'environnement pour exposer un programme pour changer le thème du profil pour votre terminal actuel.
Espérons que l'exemple de script safe_ssh clarifiera les choses :-). Je l'utilise depuis un peu plus d'un an maintenant et cela m'a aidé à ne pas détruire la base de données en direct de l'entreprise ^ _ ^
la source
Si vous avez une liste de serveurs auxquels vous accédez souvent, je pense que la solution la plus simple serait d'appeler simplement une deuxième fenêtre juste pour la session de cette boîte.
Tout d'abord, créez un profil de terminal gnome distinct pour chaque emplacement distant que vous utilisez souvent. Ensuite, dans chaque profil, spécifiez que le terminal doit exécuter la commande de connexion SSH pour cette boîte, au lieu d'un shell simple.
Enfin, écrivez un court script pour lancer une nouvelle fenêtre distante avec un ID de profil.
En utilisant cette stratégie, vous pouvez varier "à l'infini" l'apparence de la fenêtre du terminal de chaque boîte et les lancer depuis un seul terminal "de contrôle". Par exemple, si nous appelons ce script "rlv", nous pouvons alors générer une fenêtre distante en appelant simplement le script avec un nom de profil.
Si vous avez déjà saisi un nom d'hôte ou omis de configurer un profil pour cet hôte, vous obtiendrez simplement une autre fenêtre de profil par défaut sur la boîte locale. Il existe un moyen de coder le script pour éviter cela, en plaçant la connexion dans le script lui-même, plutôt que dans le gnome-terminal:
... mais alors vous perdez la flexibilité de définir votre nom d'utilisateur de connexion pour cette boîte. Cette caractéristique supplémentaire du script que je laisse comme exercice au lecteur.
la source
Je viens de remarquer que ma solution d'origine a déjà été rejetée dans la question. Bien qu'il ne semble pas y avoir de moyen simple de modifier le profil, vous pouvez modifier la couleur d'arrière-plan / de premier plan à l'aide de la
setterm
commande.Ainsi, cela
setterm -term linux -background black -foreground green
vous donnerait un fond noir avec du texte vert. Le seul problème est que ls a une sortie colorisée, vous pouvez donc désactiver la coloration ls. Sinon, il revient à la palette de couleurs précédenteArticle d'origine : il existe une sorte de solution. Depuis man gnome-terminal:
Voici un exemple de ma machine. J'ai trois profils: B&G (noir sur vert), ForPrinting (police noire, fond blanc) et Default. Donc ce que je fais est dans le type de fenêtre actuel
gnome-terminal --window-with-profile=ForPrinting
. Ensuite, je peux soit tuer l'ancienne fenêtre de la ligne de commande ou basculer et la fermer graphiquement.Le profil B&G ne fonctionne pas. Probablement parce que & n'est pas un caractère valide, alors gardez cela à l'esprit lorsque vous nommez des profils.
la source
La solution très moche que j'ai fini par utiliser est
(Ceci sélectionne le deuxième profil, mais vous pouvez changer cela pour dire le profil htir en changeant la deuxième commande "clé enfoncée" en
xdotool key --delay 50 --repeat 2 Down
.Qu'est-ce que ça fait:
Vous aurez besoin de xdotool installé
sudo apt install xdotool
.C'est assez extraordinaire que le terminal lui-même ne permette pas la configuration via le terminal!
la source
Ce serait génial que gnome-terminal propose une commande et un raccourci "profil suivant"; malheureusement non.
Une solution de contournement pour les personnes
Alt+T
handicapées (Édition> Préférences> Activer les mnémoniques - non cochée) est:F10 left left down right
et sélectionnez le profil. Aie.la source
C'est un article plutôt ancien, mais comme il revenait sans cesse pendant que je cherchais à résoudre ce même problème, j'ai pensé publier ma solution.
Cela implique un petit script python et le remappage du bouton CTRL + ALT + T pour exécuter le script au lieu de simplement lancer le terminal.
Créez un fichier texte, j'ai nommé le mien terminal.py et assurez-vous qu'il est exécutable. Placez-y le code suivant. Cela ouvrira les fenêtres du terminal en utilisant tous les profils disponibles dans l'ordre en s'assurant que celui marqué "par défaut" est le premier de la liste.
Utilisez l'utilitaire des paramètres du clavier pour attribuer un nouveau raccourci à ce script. Pour moi, j'ai réaffecté CTRL + ALT + T car c'est le raccourci que j'utilise pour ouvrir une fenêtre de terminal.
Assurez-vous de créer plusieurs profils dans votre terminal. Ce script utilisera tous vos profils. Donc, plus vous créez, plus vous avez accès à des variantes de fenêtres. J'en ai plusieurs qui sont tous identiques à l'exception de la couleur de fond. Cela m'aide à les reconnaître en les parcourant alternativement.
la source