उबुन्टु 18.04
1) सुपरसुसर बने
sudo -s
2) सूक्ति-टर्मिनल बनाने के लिए डेवलपर पैकेट डाउनलोड और इंस्टॉल करें
apt-get build-dep gnome-terminal
3) सूक्ति-टर्मिनल के वर्तमान संस्करण के लिए स्रोत डाउनलोड और निर्माण करें
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) सूक्ति-टर्मिनल-सर्वर के पुराने संस्करण को स्टोर करें
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) सूक्ति-टर्मिनल-सर्वर का पुराना उदाहरण मारना (सूक्ति-टर्मिनल का वर्तमान उदाहरण भी बंद हो जाएगा)
killall gnome-terminal-server
11) सूक्ति-टर्मिनल चलाएँ और आनंद लें