Ubuntu 18.04
1) Tornou-se um superusuário
sudo -s
2) Baixe e instale pacotes de desenvolvedor para criar o terminal gnome
apt-get build-dep gnome-terminal
3) Baixe e construa fontes para a versão atual do gnome-terminal
cd /usr/local/src
apt-get -b source gnome-terminal
4) vá para fontes (altere os dígitos "3.28.2" em versões futuras)
cd gnome-terminal-3.28.2
5) Faça o download do patch
curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz
6) Descompacte e aplique o patch
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1
7) Construa a solução novamente
make
8) Armazene a versão antiga do gnome-terminal-server
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old
9) Copie a nova versão em vez da antiga
cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server
10) Mate a instância antiga do gnome-terminal-server (a instância atual do gnome-terminal também será fechada)
killall gnome-terminal-server
11) Execute o gnome-terminal e aproveite