diff --git a/.config/dotfiles/setup-machine.sh b/.config/dotfiles/setup-machine.sh index 5b1a9ce..daf8e69 100755 --- a/.config/dotfiles/setup-machine.sh +++ b/.config/dotfiles/setup-machine.sh @@ -95,7 +95,7 @@ unset _osname # clone dotfiles for fast startup GIT_DIR=$HOME/Development/nemoinho/gitea.nehrke.info/nemoinho/dotfiles -config='/usr/bin/git --git-dir '"$GIT_DIR"' --work-tree '"$HOME"'' +alias config='/usr/bin/git --git-dir '"$GIT_DIR"' --work-tree '"$HOME"'' if [ ! -d "$GIT_DIR" ] then GIT_REMOTE=git@gitea.nehrke.info:nemoinho/dotfiles.git @@ -103,11 +103,10 @@ then git clone --separate-git-dir=$GIT_DIR $GIT_REMOTE $HOME/tmp-dotfiles rm -r ~/tmp-dotfiles else - $config pull + config pull fi -alias config="$config" -$config config --local status.showUntrackedFiles no -$config checkout +config config --local status.showUntrackedFiles no +config checkout # reload bash_profile to configure the current shell with the just installed dotfiles . ~/.bash_profile