Comment rendre «Recherche sur Google» disponible dans le menu contextuel du texte sélectionné dans gnome-terminal?

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?

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:

sudo dpkg -i /path/to/gnome-terminal-data_3.6.1-0ubuntu4.1_all.deb

sudo dpkg -i gnome-terminal_3.6.1-0ubuntu4.1_i386.deb
#or, depending on what you downloaded
sudo dpkg -i gnome-terminal_3.6.1-0ubuntu4.1_amd64.deb

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

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 xbindkeyset xclip.

Ubuntu 18.04

1) Devenu un superutilisateur

sudo -s

2) Téléchargez et installez les paquets de développement pour construire gnome-terminal

apt-get build-dep gnome-terminal

3) Téléchargez et créez des sources pour la version actuelle de gnome-terminal

cd /usr/local/src
apt-get -b source gnome-terminal

4) aller aux sources (changer les chiffres "3.28.2" dans les futures versions)

cd gnome-terminal-3.28.2

5) Téléchargez le patch

curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz

6) Décompressez et appliquez le patch

gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1

7) Construisez à nouveau la solution

make

8) Stockez l'ancienne version du serveur gnome-terminal

mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old

9) Copiez la nouvelle version au lieu de l'ancienne

cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server

10) Tuer l'ancienne instance de gnome-terminal-server (l'instance actuelle de gnome-terminal sera également fermée)

killall gnome-terminal-server

11) Exécutez gnome-terminal et profitez