增加修改gnome-terminal终端字体的脚本