Ubuntu 18.04
Enable source code in "Software and Updates"
Go to terminal
Became a superuser
sudo -s
- Download and install developer packets to build gnome-terminal
apt-get build-dep gnome-terminal
- Download and build sources for current version of gnome-terminal
cd /usr/local/src
apt-get -b source gnome-terminal
- go to sources ( change the digits "3.28.2" in future versions )
cd gnome-terminal-3.28.2
- Download the patch
curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz
- Unzip and apply the patch
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1
- Configure
./configure
- Build solution again
make
- Store old version of the gnome-terminal-server
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old
- Copy new version instead of old
cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server
- Kill old instance of gnome-terminal-server (current instance of gnome-terminal will closed too)
killall gnome-terminal-server
- Run gnome-terminal and enjoy
Ubuntu 20.04.5 LTS
- Store old version of the gnome-terminal-server
mv /usr/libexec/gnome-terminal-server /usr/libexec/gnome-terminal-server.old
- Copy new version instead of old
cp ./src/gnome-terminal-server /usr/libexec/gnome-terminal-server