Lorsque vous utilisez la commutation de tâches dans le mode graphique par défaut d'Ubuntu 12.04, s'il s'agit de plusieurs fenêtres du même type, par exemple. plusieurs fenêtres de terminal, vous pouvez les voir toutes ensemble et sélectionner celle que vous souhaitez. Mon problème est que l'ordre de ces fenêtres est …
Sur une nouvelle installation d'Ubuntu 12.10, le gnome-terminal par défaut signale que $ TERM est xterm alors qu'il devrait vraiment rapporter xterm-256color. Quelle est la meilleure façon de changer cela? J'évite de mettre cela dans mon .bashrc car cela ne fait que poser des problèmes.
J'ai besoin d'un raccourci rapide pour modifier la taille de la police du terminal. J'utilise gnome-terminal. J'ai essayé avec Ctrl+ +et Ctrl+ -mais la taille n'est pas modifiée. Y a-t-il un autre raccourci? Puis-je ajouter un raccourci comme celui-ci?
Je modifie plusieurs fichiers situés dans le même dossier, dans plusieurs onglets, sur un seul terminal. pwd(répertoire dans lequel je travaille actuellement) est affiché en haut de l'en-tête du terminal, mais pas le nom du fichier que je modifie. Cela devient confus lorsque vous travaillez avec plusieurs fichiers dans le …
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 …
Dans un terminal GNOME, les manières standard d' avancer ou de reculer d' un mot ne fonctionnent pas. Malgré ce que dit la documentation : alt + b : Retourne un mot à la fois. alt + f : avance d'un mot à la fois. Si je fais ce qui …
Je veux avoir une option comme Recherche sur Google disponible dans le menu contextuel du texte sélectionné dans gnome-terminal . Quelque chose de similaire à l'option qui est disponible dans le menu contextuel du texte sélectionné dans le navigateur Google Chrome / Chrome / Firefox: Donc, quelque chose de similaire …
J'essaie de trouver le fichier de configuration du terminal gnome dans Ubuntu 16.04, mais je n'ai aucune chance. Je veux que le curseur ne s'arrête pas de clignoter, et il y a probablement un paramètre de délai que je peux changer, mais je ne trouve pas le fichier pour le …
J'ai Ubuntu-Gnome 14.04 (Gnome 3.12.2). Quand j'essaye de courir gnome-terminalen suivant la commande: $ gnome-terminal Error constructing proxy for org.gnome.Terminal: /org/gnome/Terminal/Factory0: Error calling StartServiceByName for org.gnome.Terminal: GDBus.Error:org.freedesktop.DBus.Error.Spawn.ChildExited: Process /usr/lib/gnome-terminal/gnome-terminal-server exited with status 8
Est-il possible de désactiver les hyperliens dans gnome-terminal? Le terminal ne doit jamais souligner de texte et les clics doivent toujours commencer à sélectionner. Il y a deux raisons pour lesquelles je veux faire cela: d'abord, je clique simplement dans une fenêtre de terminal lorsqu'elle est à l'arrière sans regarder …
Je voudrais définir le thème Max OS X Terminal pour Ubuntu Terminal. J'aime beaucoup les polices et les couleurs. Voici à quoi ressemble le terminal Mac: Source d'image Il y a peu de choses que je veux voir dans le terminal Ubuntu: Je veux remplacer username@desktop:~/Dropbox$par le nom d'utilisateur et …
J'utilise un script bash pour démarrer gnome-terminal avec plusieurs onglets, chaque onglet utilisant un profil différent, un répertoire de travail et, dans certains cas, exécutant une commande dans l'onglet. Dans cette situation, j'aimerais que la touche flèche vers le haut récupère les commandes qui ont été utilisées dans un onglet …
Lorsque j'appuie sur l'onglet dans une console, j'obtiens cette sortie Afficher les 2957 possibilités? (o ou n) Existe-t-il un moyen d'utiliser grepces 2957 possibilités? Je voudrais rechercher toutes les commandes contenant le mot "svn".
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.