Ubuntu 18.04
1) стал суперпользователем
sudo -s
2) Загрузите и установите пакеты разработчика для сборки gnome-терминала
apt-get build-dep gnome-terminal
3) Скачать и собрать исходные коды для текущей версии gnome-терминала
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-терминал-сервера
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-терминал и наслаждайтесь