Questions marquées «gnome-terminal»

GNOME Terminal est un émulateur de terminal pour l'environnement de bureau GNOME. Parmi ses fonctionnalités clés figurent la prise en charge de plusieurs profils, du texte coloré, des onglets, la prise en charge de la souris, la détection d'URL, un certain nombre de personnalisations de l'interface utilisateur et des options de compatibilité.







2
onglet actif indiscernable dans le terminal gnome
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 qui est …







1
lier ctrl + insérer dans zsh?
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.


En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.