1、下载gnome-terminal源代码
$ apt-get source gnome-terminal
2、下载gnome-terminal的编译依赖库
$ sudo apt-get build-dep gnome-terminal
3、修改源代码gnome-terminal/src/terminal-screen.c
4、编译
debuild -b
5、安装
$ sudo dpkg -i gnome-terminal_3.18.3-1ubuntu1_amd64.deb
文档参考:
https://github.com/tomba/gnome-terminal
https://cleanli.github.io/cleanhome/posts/2017-05-22/locally_build_gnome_terminal.html