Come rendere disponibile "Cerca su Google" nel menu contestuale del testo selezionato in gnome-terminal?

Voglio avere un'opzione come Cerca su Google disponibile nel menu contestuale del testo selezionato in gnome-terminal . Qualcosa di simile all'opzione disponibile nel menu di scelta rapida del testo selezionato nel browser Google Chrome / Chromium / Firefox:

Quindi, qualcosa di simile come nell'immagine sopra, ma in gnome-terminal. È possibile?

Sì, c'è un'opzione. Prima scarica i seguenti pacchetti deb:

• il pacchetto di dati: gnome-terminal-data_3.6.1_all.deb

• il pacchetto principale: gnome-terminal_i386.deb (per sistema operativo a 32 bit) o gnome-terminal_amd64.deb (per sistema operativo a 64 bit)

Secondo, installali usando i seguenti comandi nel tuo terminale:

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

E terzo, riavvia il tuo terminale.

Da adesso, quando aprirai il tuo terminale gnome puoi cercare rapidamente errori, avvertenze e altre cose su Google dalla riga di comando. Evidenzia il testo, fai clic destro su di esso e scegli "Cerca su Google". Apre il browser Web predefinito e vai alla pagina dei risultati di ricerca di Google:

Fonte: Aggiungi Ricerca Google al Terminale Gnome in Ubuntu 13.10

Usando Colinker , un menu di scelta rapida personalizzabile per il testo selezionato, puoi cercare il testo selezionato in qualsiasi applicazione, non solo nel terminale GNOME. Sui sistemi Linux, Colinker è progettato per essere utilizzato con xbindkeyse xclip.

Ubuntu 18.04

1) È diventato un superutente

sudo -s

2) Scarica e installa i pacchetti di sviluppo per creare gnome-terminal

apt-get build-dep gnome-terminal

3) Scarica e crea fonti per la versione corrente di gnome-terminal

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

4) vai alle fonti (cambia le cifre "3.28.2" nelle versioni future)

cd gnome-terminal-3.28.2

5) Scarica la patch

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

6) Decomprimi e applica la patch

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

7) Crea di nuovo la soluzione

make

8) Memorizza la vecchia versione di gnome-terminal-server

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

9) Copia la nuova versione anziché la vecchia

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

10) Uccidi la vecchia istanza di gnome-terminal-server (anche l'istanza corrente di gnome-terminal verrà chiusa)

killall gnome-terminal-server

11) Esegui gnome-terminal e divertiti