Gnome 修改默认终端类型

Reference

https://discourse.gnome.org/t/default-terminal/1307

将自己使用的终端发送软链接到 /usr/bin, 叫做 gnome-terminal

sudo ln -s /usr/bin/fish /usr/bin/gnome-terminal