quiero tener una opcion comoBuscar en Googledisponible en el menú contextual del texto seleccionado enterminal-gnome. Algo similar a la opción que está disponible en el menú contextual del texto seleccionado en el navegador Google Chrome/Chrome/Firefox:
Entonces, algo similar a la imagen de arriba, pero en gnome-terminal. es posible?
Respuesta1
Sí, hay una opción. Primero descargue los siguientes paquetes deb:
el paquete de datos:gnome-terminal-data_3.6.1_all.deb
el paquete principal:gnome-terminal_i386.deb (para sistema operativo de 32 bits)ognome-terminal_amd64.deb (para sistema operativo de 64 bits)
En segundo lugar, instálelos usando los siguientes comandos en su 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
Y tercero, reinicia tu terminal.
A partir de ahora, cuando abra su terminal gnome podrá buscar rápidamente en la línea de comandos de Google errores, advertencias y otras cosas. Resalte el texto, haga clic derecho sobre él y elija "Buscar en Google". Abre el navegador web predeterminado y va a la página de resultados de búsqueda de Google:
Fuente:Agregue la búsqueda de Google a la terminal Gnome en Ubuntu 13.10
Respuesta2
Usandocolinker, un menú contextual personalizable para el texto seleccionado, puede buscar el texto seleccionado en cualquier aplicación, no solo en la terminal gnome. En sistemas Linux, Colinker está diseñado para usarse con xbindkeys
y xclip
.
Respuesta3
ubuntu 18.04
ir a la terminal
Conviértete en superusuario
sudo -s
- Descargue e instale paquetes de desarrollador para compilar gnome-terminal
apt-get build-dep gnome-terminal
- Descargue y cree fuentes para la versión actual de gnome-terminal
cd /usr/local/src
apt-get -b source gnome-terminal
- ir a fuentes (cambiar los dígitos "3.28.2" en versiones futuras)
cd gnome-terminal-3.28.2
- Descarga el parche
curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz
- Descomprime y aplica el parche.
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1
- Configurar
./configure
- Construir solución nuevamente
make
- Almacenar la versión antigua del servidor gnome-terminal
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old
- Copie la nueva versión en lugar de la antigua
cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server
- Elimine la instancia anterior de gnome-terminal-server (la instancia actual de gnome-terminal también se cerrará)
killall gnome-terminal-server
- Ejecute gnome-terminal y disfrute
Ubuntu 20.04.5 LTS
- Almacenar la versión antigua del servidor gnome-terminal
mv /usr/libexec/gnome-terminal-server /usr/libexec/gnome-terminal-server.old
- Copie la nueva versión en lugar de la antigua
cp ./src/gnome-terminal-server /usr/libexec/gnome-terminal-server