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 comme dans l'image ci-dessus, mais dans gnome-terminal. Est-ce possible?
gnome-terminal
search
google
Radu Rădeanu
la source
la source
Réponses:
Oui, il y a une option. Téléchargez d'abord les packages deb suivants:
le paquet de données: gnome-terminal-data_3.6.1_all.deb
le package principal: gnome-terminal_i386.deb (pour OS 32 bits) ou gnome-terminal_amd64.deb (pour OS 64 bits)
Ensuite, installez-les à l'aide des commandes suivantes dans votre terminal:
Et troisièmement, redémarrez votre terminal.
À partir de maintenant, lorsque vous ouvrirez votre terminal gnome, vous pourrez rechercher rapidement sur les erreurs de ligne de commande Google, les avertissements et autres. Mettez en surbrillance le texte, faites un clic droit dessus et choisissez "Rechercher sur Google". Il ouvre le navigateur Web par défaut et accède à la page de résultats de recherche Google:
Source: Ajouter Google Search au terminal Gnome dans Ubuntu 13.10
la source
En utilisant Colinker , un menu contextuel personnalisable pour le texte sélectionné, vous pouvez rechercher le texte sélectionné dans n'importe quelle application, pas seulement le terminal gnome. Sur les systèmes Linux, Colinker est conçu pour être utilisé avec
xbindkeys
etxclip
.la source
Ubuntu 18.04
1) Devenu un superutilisateur
2) Téléchargez et installez les paquets de développement pour construire gnome-terminal
3) Téléchargez et créez des sources pour la version actuelle de gnome-terminal
4) aller aux sources (changer les chiffres "3.28.2" dans les futures versions)
5) Téléchargez le patch
6) Décompressez et appliquez le patch
7) Construisez à nouveau la solution
8) Stockez l'ancienne version du serveur gnome-terminal
9) Copiez la nouvelle version au lieu de l'ancienne
10) Tuer l'ancienne instance de gnome-terminal-server (l'instance actuelle de gnome-terminal sera également fermée)
11) Exécutez gnome-terminal et profitez
la source
search on google
vient ce plugin, le lien du code source serait parfait.