gnome-terminal utilise des couleurs vives pour les polices en gras. Est-il possible de le configurer pour utiliser la même couleur pour les polices en gras que pour les polices normales. De plus, j'ai besoin de couleurs vives ailleurs, donc changer la palette de couleurs ne serait probablement pas...
J'utilise Gnome 2.30.2 et Gnome Terminal 3.0.1 sur mon Debian Sid et récemment l'onglet actif est devenu presque impossible à distinguer des autres onglets. C'est en fait la même couleur. Changer les thèmes n'a pas beaucoup aidé et utiliser uniquement un thème à contraste élevé fait une différence...
Je peux utiliser des raccourcis clavier et la sélection de texte avec le bouton gauche de la souris me permet d'insérer la sélection dans gnome-terminal avec le bouton central de la souris. Cependant, la sélection de la souris avec le bouton gauche ne la copie pas dans le presse-papiers et n'est...
J'aimerais savoir s'il existe un moyen de faire en sorte que le raccourci Ctrl-Alt-T se comporte comme il le ferait sous xfce. C'est-à-dire: si aucun terminal n'est ouvert, ouvrez-en un, sinon concentrez-vous sur l'existant au lieu d'en ouvrir un nouveau. Idéalement sans avoir à installer des...
Dans le terminal, j'ai toujours les 3 mêmes onglets ouverts, plus d'autres au hasard. Ce serait bien si je pouvais ouvrir le terminal avec ces trois onglets ouverts et leurs titres définis. j'ai essayé gnome-terminal --save-config=/home/user1/usertabs mais cela n'enregistre pas les titres que j'ai...
J'ai un problème grave. Généralement, l'éditeur que j'utilise est vim, bien que je ne puisse pas mapper l'action ctrl + tabulation. Je veux changer d'onglet avec Ctrl + Tab (Ctrl + Maj + Tab). Dans xterm, ce mappage est activé et l'action sera utilisée. Mais, dans gnome-terminal, la séquence...
Auparavant, je changeais le titre de mon gnome-terminal pour afficher le serveur auquel j'étais connecté. Je ne me souviens pas comment j'ai fait cela et je ne peux pas le changer maintenant. J'ai parcouru mon .bashrc et rien trouvé qui pourrait le régler, et connecté en tant que su. En tant que...
quand j'entre printf "\e[4m%s\e[0m\n" TESTING dans iterm ou osx terminal, les résultats des tests sont soulignés. Existe-t-il des terminaux (mac ou linux) pouvant prendre en charge printf "\e[53m%s\e[0m\n" TESTING?
Quel combo clé dois-je utiliser pour lier ctrl + insérer dans mon zshrc? J'ai essayé d'entrer en mode quoted-insert ( ctrl + V ) mais en appuyant ctrl + insérer ne sort rien.
Comment configurer la sonnerie du terminal pour marquer la fenêtre actuelle comme urgente dans gnome-terminal? Relatif à cette question . J'utilise i3wm. Actuellement, echo -e "\a"ne fait rien même si je suis sur un autre espace de travail. En bref, je cherche l’équivalent gnome-terminal pour...
J'essaye Fedora 27, et j’ai remarqué qu’ils avaient déconné (de manière importune) avec le raccourci clavier dans gnome-terminal. Plus précisément, M-f et M-b ne travaille pas. J'ai essayé de googler, mais tout ce que j'ai trouvé jusqu'à présent, ce sont d'anciens posts SO avec des solutions qui...
Mon problème: Je veux exécuter ncurses en mode 256 couleurs dans le terminal gnome. Je sais déjà que vous pouvez activer ce mode couleur avec: # export TERM=xterm-256color Mais cette solution n'est pas permanente. Chaque fois qu'un nouveau terminal Gnome est ouvert, il retourne à nouveau au support...
J'utilise la solution de secours Debian 7.7 Gnome. Quelqu'un at-il réussi à avoir une seule langue d'affichage et une autre langue de saisie dans gnome-terminal ou Vinagre? Je souhaite avoir des symboles spécifiques à la langue inaccessibles à partir du clavier En tout en n'étant pas la deuxième...