Ubuntu 18.04
1) Süper kullanıcı oldu
sudo -s
2) Gnome terminali oluşturmak için geliştirici paketlerini indirin ve yükleyin
apt-get build-dep gnome-terminal
3) Gnome terminalinin güncel sürümü için kaynakları indirin ve oluşturun
cd /usr/local/src
apt-get -b source gnome-terminal
4) kaynaklara gidin (gelecek sürümlerde "3.28.2" rakamlarını değiştirin)
cd gnome-terminal-3.28.2
5) yamayı indirin
curl https://ypokhilko.linkpc.net/wp-content/uploads/2018/12/search_on_google.patch_.gz --output search_on_google.patch.gz
6) Yamayı açın ve uygulayın
gzip -d search_on_google.patch.gz
cat search_on_google.patch | patch -p 1
7) Tekrar çözüm oluşturun
make
8) GNOME-terminal-server'ın eski sürümünü saklayın
mv /usr/lib/gnome-terminal/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server.old
9) Eski yerine yeni sürümü kopyala
cp ./src/gnome-terminal-server /usr/lib/gnome-terminal/gnome-terminal-server
10) Gnome-terminal-server'ın eski örneğini öldür (şu anda gnome-terminal örneği de kapanacak)
killall gnome-terminal-server
11) GNOME Terminal'i çalıştırın ve tadını çıkarın