GNOME 修改默认终端类型
25 字
1 分钟
GNOME 修改默认终端类型
参考：https://discourse.gnome.org/t/default-terminal/1307
将自己使用的终端发送软链接到 /usr/bin, 叫做 gnome-terminal
sudo ln -s /usr/bin/fish /usr/bin/gnome-terminalGNOME 修改默认终端类型
https://nekoside.com/posts/gnome-default-terminal/