GNOME Terminal est l'émulateur de terminal standard pour l'environnement de bureau GNOME.
Utilisé pour pouvoir faire un clic droit sur l'onglet et changer le titre. Vous ne savez plus comment faire cela. Vient de passer à Fedora 21. EDIT: je suis passé de gnome-terminal à
La configuration de mon terminal est gnome-terminal + tmux + zsh avec les liaisons vi. Dans des applications comme vim ou même dans le mode d'édition vi de la ligne de commande du zsh, je dois appuyer souvent sur la ESCtouche, mais il reste un petit délai avant que les effets de cette clé ne se...
Lorsque nous utilisons clearcommand ou Ctrl+ Lin terminal, cela efface le terminal mais nous pouvons toujours revenir en arrière pour voir les dernières commandes utilisées. Existe-t-il un moyen de vider complètement le
J'ai testé cela avec Ubuntu 12.04 et Debian 7. Quand je le fais echo $TERM Je reçois xterm Mais si j'utilise le menu déroulant "aide"> "à propos de", il est indiqué gnome terminal 3.4.1.1. Est-ce que cela signifie que j'utilise seulement gnome-terminal? Ou juste xterm? Ou bien gnome-terminal...
Edit: Le problème de la souris activée vimsemble être spécifique à gnome-terminal(version 3.4.1.1-1; j'utilise le mode de repli de gnome 3). Si je lance xterm, le support de la souris vimest désactivé par défaut, et j'ai la possibilité de l'activer ( :set mouse=ace que je ne fais jamais) et de le...
Je suis sur Arch linux, et quand j'ouvre un nouvel onglet de terminal, il va toujours à $HOME. Comment puis-je faire en sorte que lorsque j'ouvre un nouvel onglet, il ouvre le shell dans le répertoire dans lequel j'étais
J'exécute une application avec la commande $ grails run-appqui imprime le journal dans le terminal comme ci-dessous. Ce que je veux, c'est rechercher un texte particulier (par exemple user authorities) dans ce journal afin de pouvoir vérifier davantage. Une façon d'utiliser Logging Apis pour écrire...
Il y a beaucoup de questions à ce sujet, mais c'est parce qu'il y a tellement de variables. J'ai dû rassembler les instructions de nombreux sites avant de commencer à travailler. Tout d'abord, je ne pouvais pas facilement configurer les 16 définitions de couleurs solarisées dans gnome-terminal (je...
Je voudrais définir le titre du terminal pour user@hostque je puisse facilement savoir à quelle machine je suis connecté à partir du titre de la fenêtre. Existe-t-il un moyen de le faire depuis SSH ou depuis le terminal
Je voudrais configurer la #002b36couleur d'arrière -plan et de premier plan de mon terminal gnome dans ubuntu 13, en utilisant le script bash. J'ai essayé gconftoolmais je n'ai pas réussi. GCONFTOOL-2(1) User Commands GCONFTOOL-2(1) NAME gconftool-2 - GNOME configuration tool Ma gnome...
Je viens d'installer Arch Linux après un tutoriel vidéo sur YouTube pour la première fois. Cependant, lorsque j'essaie de démarrer le terminal GNOME, il ne démarre pas. Il indiquera Terminal en haut de mon écran pendant quelques secondes et il y aura un symbole de chargement, mais après quelques...
J'utilise actuellement Fedora 18 gnome-terminal , puis j'ai démarré le tmuxmultiplexeur. Après m'être connecté à un serveur CentOS 5 via une sshcommande, je trouve: ls le résultat n'a pas de couleur tmux, screen, hexedit, htopTout n'a pas pu démarrer avec le message d'erreur comme:échec du terminal...
Lors du lancement de commandes dans CLI, je veux copier la commande que je viens de tirer ou tout ce que j'ai écrit dans le terminal et la coller ailleurs sans utiliser de souris. Comme dans l'image suivante, je veux copier la commande de mise à jour (complètement ou partiellement) sans utiliser la...
lorsque je ssh vers un serveur sur Internet dans un onglet de terminal gnome, si j'ai perdu la connexion Internet, l'onglet du terminal sera bloqué et n'acceptera aucune entrée. Pourquoi est-ce accroché? Existe-t-il un moyen d'activer l'onglet du terminal, c'est-à-dire de le faire continuer à...
Si vous avez en gnome-terminalcours d' exécution et que vous souhaitez une nouvelle instance du programme, vous pourriez penser que l'exécution à gnome-terminal &partir d'un shell ferait l'affaire. Étonnamment, cette nouvelle instance se comporte comme un programme Windows ou Mac insipide; il...
J'ai ouvert un terminal sur Ubuntu en utilisant Ctrl+ Alt+ Tet un autre terminal en allant dans un répertoire puis en faisant un clic droit et en choisissant "Ouvrir dans le terminal". J'ai fait un echo $0dans les deux cas. Dans le premier cas: $ echo $0 -bash Dans le second cas: $ echo $0...
J'utilise Fedora 17 gnome (shell) 3 et le terminal gnome 3.4.1.1. Je suis à la fois gnome-terminal et midnight commander. Comme gnome-terminal par défaut a toujours utilisé F10 (dont j'ai besoin lors de l'utilisation de mc) pour ouvrir le menu supérieur. Il en était de même cette fois. J'ai pu...
Comment pourrais-je exécuter un script dans Shell lorsqu'une touche de raccourci est enfoncée. Essentiellement, ce dont j'ai besoin, c'est quand une touche de raccourci est enfoncée, le script doit lire un fichier et afficher ce contenu dans le
J'ai utilisé (Red Hat, Ubuntu, CentOS, autres). Ces distributions utilisent Gnome-terminal et fournissent des moyens flexibles de configurer différents profils de terminal via un menu déroulant situé dans la fenêtre du terminal, directement au-dessus des commandes qui sont généralement entrées. Ces...
J'utilise GNOME Terminal 2.7.3 et zsh 4.3.9 (x86_64-unknown-linux-gnu) Homeet Endne fonctionnent pas. Rien ne se passe et rien ne s'affiche lorsque j'appuie dessus. mais ils fonctionnent lorsque j'appuie sur shift + Home(Fait défiler jusqu'au début de la sortie du shell.) et fonctionnent également...