From 6dd350a20d0c212bc39dadc7ef20037ac7c6735c Mon Sep 17 00:00:00 2001 From: nemoinho Date: Wed, 29 May 2024 21:36:24 +0000 Subject: [PATCH] Another try to fix config command --- .config/dotfiles/setup-machine.sh | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.config/dotfiles/setup-machine.sh b/.config/dotfiles/setup-machine.sh index daf8e69..c52054b 100755 --- a/.config/dotfiles/setup-machine.sh +++ b/.config/dotfiles/setup-machine.sh @@ -95,7 +95,6 @@ unset _osname # clone dotfiles for fast startup GIT_DIR=$HOME/Development/nemoinho/gitea.nehrke.info/nemoinho/dotfiles -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,10 +102,10 @@ then git clone --separate-git-dir=$GIT_DIR $GIT_REMOTE $HOME/tmp-dotfiles rm -r ~/tmp-dotfiles else - config pull + /usr/bin/git --git-dir "$GIT_DIR" --work-tree "$HOME" pull fi -config config --local status.showUntrackedFiles no -config checkout +/usr/bin/git --git-dir "$GIT_DIR" --work-tree "$HOME" config --local status.showUntrackedFiles no +/usr/bin/git --git-dir "$GIT_DIR" --work-tree "$HOME" checkout # reload bash_profile to configure the current shell with the just installed dotfiles . ~/.bash_profile