Как сделать «Поиск в Google» доступным в контекстном меню выбранного текста в gnome-терминал?

Это смесь. Каждый пакет может быть лицензирован на разных условиях.

Как правило, право изменять его и распространять каждый пакет в основном и юниверсе, некоторые пакеты могут иметь ограничения на это, например, имя и логотип firefox являются товарными знаками, поэтому нельзя использовать без разрешения Mozilla.

Вы можете посмотреть отдельные лицензии на пакеты в / usr / share / doc / * / copyright

19
задан 7 February 2014 в 20:18

3 ответа

Да, есть возможность. Сначала загрузите следующие пакеты deb:

Во-вторых, установите их, используя следующие команды в своем терминале:

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

И в-третьих, перезапустите свой терминал.

С этого момента, когда вы откроете свой gnome-терминал, вы сможете быстро искать в командной строке Google ошибки, предупреждения и другие вещи. Выделите текст, щелкните по нему правой кнопкой мыши и выберите «Поиск в Google». Он откроет веб-браузер по умолчанию и перейдет на страницу результатов поиска Google:

search on google from terminal

Источник: Добавить поиск Google в терминал Gnome в Ubuntu 13.10

0
ответ дан 7 February 2014 в 20:18

Используя Colinker , настраиваемое контекстное меню для выбранного текста, вы можете искать выбранный текст в любом приложении, а не только в терминале GNOME. В системах Linux Colinker предназначен для использования с xbindkeys и xclip.

0
ответ дан 7 February 2014 в 20:18

Ubuntu 18.04

1) Стал суперпользователем

sudo -s

2) Загрузите и установите пакеты разработчика для сборки gnome-терминала

apt-get build-dep gnome-terminal

3) Загрузите и сборка исходников для текущей версии gnome-terminal

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

4) перейти к источникам (изменить цифры «3.28.2» в будущих версиях)

cd gnome-terminal-3.28.2

5) Скачать патч

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

6) Разархивируйте и примените патч

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

7) Снова соберите решение

make

8) Сохраните старую версию gnome-Terminal- сервер

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

9) Скопируйте новую версию вместо старой

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

10) Убейте старый экземпляр gnome-terminal-server (текущий экземпляр gnome-terminal тоже закроется)

killall gnome-terminal-server

11) Запустите gnome-терминал и наслаждайтесь

0
ответ дан 7 February 2014 в 20:18

Другие вопросы по тегам:

Похожие вопросы: