From febfc63d7a25ba4ff0e9a9cdbcb64b21ac80e4fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Geoffrey=20=E2=80=9CFrogeye=E2=80=9D=20Preud=27homme?= Date: Mon, 22 Apr 2019 20:47:32 +0200 Subject: [PATCH] I should add an alias for this --- config/shell/zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config/shell/zshrc b/config/shell/zshrc index c9de7d5..3382a09 100644 --- a/config/shell/zshrc +++ b/config/shell/zshrc @@ -15,7 +15,7 @@ ADOTDIR=~/.cache/antigen mkdir -p $ADOTDIR typeset -a ANTIGEN_CHECK_FILES=(~/.config/shell/zshrc) -[ -f ~/.local/share/zsh/antigen.zsh ] || curl -L git.io/antigen > ~/.local/share/zsh/antigen.zsh +[ -f ~/.local/share/zsh/antigen.zsh ] || (mkdir -p ~/.local/share/zsh/ && curl -L git.io/antigen > ~/.local/share/zsh/antigen.zsh) source ~/.local/share/zsh/antigen.zsh # This is better to have them installed as system since we can use them as root