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) Запускайте гном-термінал і насолоджуйтесь