Contents

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

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
    下面修改环境变量,将~/.composer/vendor/bin写入 PATH 环境变量里。

    注意: 如果你的命令行安装了zsh和oh-my-zsh,修改环境变量时有些小的变化。

    我遇到的就是这个问题,怎么修改,环境变量都不生效,比如我修改的是~/.bash_profile,那么必须`source
    ~/.bash_profile`才能生效,而且重启后继续无效,为什么呢?因为 zsh !我的终端是
    iTerm2,它很炫酷,但是就是环境变量搞不成。Google 找到了问题所在,安装 zsh
    后,~/.bash_profile并没有被执行,所以需要编辑 zsh 的配置文件~/.zshrc,在该文件里加入

    source ~/.bash_profile 现在我们应该可以用homestead命令了。

https://segmentfault.com/q/1010000004376181/a-1020000004377872

發現這篇很久沒補
就先寫重點吧…