sudo -s
apt-get build-dep gnome-terminal
cd /usr/local/src
apt-get -b source gnome-terminal
cd gnome-terminal-3.28.2
curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1
make
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old
cp /usr/local/src/gnome-terminal-3.28.2/src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server
killall gnome-terminal-server