elementary OS更換Terminal字形 & 設定zsh環境變數
Contents
To change font in the Terminal you need dconf-editor. Install it, if you haven’t done so:
sudo apt-get install dconf-tools
Run it and go to path org > gnome > desktop > interface > monospace-font-name.
FB
themes - How can I change the default Terminal font? - elementary OS Stack Exchange
.zshrc
|
|
https://segmentfault.com/q/1010000004376181/a-1020000004377872
發現這篇很久沒補
就先寫重點吧…