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 à l'image ci-dessus, mais dans gnome-terminal. Est-ce possible ?
Oui, il existe une option. Téléchargez d'abord les paquets deb suivants :
le paquet de données : gnome-terminal-data_3.6.1_all.deb
le paquet principal : gnome-terminal_i386.deb (pour les systèmes d'exploitation 32 bits) o gnome-terminal_amd64.deb (pour les systèmes d'exploitation 64 bits)
Ensuite, installez-les en utilisant les 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.debEt troisièmement, redémarrez votre terminal.
Désormais, lorsque vous ouvrirez votre terminal gnome, vous pourrez rechercher rapidement sur Google les erreurs, les avertissements et autres éléments de la ligne de commande. Mettez le texte en surbrillance, faites un clic droit dessus et choisissez "Rechercher sur Google". Cela ouvre le navigateur web par défaut et vous amène à la page de résultats de la recherche Google :
Source : Ajouter la recherche Google au terminal Gnome dans Ubuntu 13.10
Utilisation de Colinker Avec Colinker, un menu contextuel personnalisable pour le texte sélectionné, vous pouvez rechercher le texte sélectionné dans n'importe quelle application, et pas seulement dans le terminal gnome. Sur les systèmes Linux, Colinker est conçu pour être utilisé avec xbindkeys y xclip .
Ubuntu 18.04
1) Devenir un super-utilisateur
sudo -s2) Téléchargez et installez les paquets développeur pour construire gnome-terminal
apt-get build-dep gnome-terminal3) Téléchargez et construisez les sources de la version actuelle de gnome-terminal.
cd /usr/local/src
apt-get -b source gnome-terminal4) aller dans les sources ( changer les chiffres "3.28.2" dans les futures versions )
cd gnome-terminal-3.28.25) 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.gz6) Dézippez et appliquez le patch
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 17) Reconstruire la solution
make8) Stocker l'ancienne version du gnome-terminal-server
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old9) Copier la nouvelle version au lieu de l'ancienne
cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server10) Tuer l'ancienne instance de gnome-terminal-server (l'instance actuelle de gnome-terminal sera fermée aussi)
killall gnome-terminal-server11) Lancez gnome-terminal et profitez-en.
SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.
