diff options
Diffstat (limited to '.config/zsh')
| -rw-r--r-- | .config/zsh/aliases.zsh | 2 | ||||
| m--------- | .config/zsh/pure | 0 |
2 files changed, 2 insertions, 0 deletions
diff --git a/.config/zsh/aliases.zsh b/.config/zsh/aliases.zsh index cbb4499..8b2df6b 100644 --- a/.config/zsh/aliases.zsh +++ b/.config/zsh/aliases.zsh @@ -13,7 +13,9 @@ alias config='/usr/bin/git --git-dir=$HOME/.dotfiles/ --work-tree=$HOME' if [ -d "$HOME/esp/esp-idf" ] then alias get_idf='. $HOME/esp/esp-idf/export.sh' + alias get_idf4='. $HOME/esp/esp-idf-v4.4.1/export.sh' export MENUCONFIG_STYLE=monochrome + export IDF_CCACHE_ENABLE=1 fi export LESS=-R diff --git a/.config/zsh/pure b/.config/zsh/pure -Subproject 90dc9cf908481cc155e1ce5611f684916523fc3 +Subproject 5b458ba5b75f49a8071d53c343f1a23631f7bce |