Create directory for dotfiles on demand

This commit is contained in:
2024-05-29 21:29:54 +00:00
parent 073d0164f8
commit cb9afbe670

View File

@@ -99,6 +99,7 @@ config='/usr/bin/git --git-dir '"$GIT_DIR"' --work-tree '"$HOME"''
if [ ! -d "$GIT_DIR" ] if [ ! -d "$GIT_DIR" ]
then then
GIT_REMOTE=git@gitea.nehrke.info:nemoinho/dotfiles.git GIT_REMOTE=git@gitea.nehrke.info:nemoinho/dotfiles.git
mkdir -p "$(dirname "$GIT_DIR")"
git clone --separate-git-dir=$GIT_DIR $GIT_REMOTE $HOME/tmp-dotfiles git clone --separate-git-dir=$GIT_DIR $GIT_REMOTE $HOME/tmp-dotfiles
rm -r ~/tmp-dotfiles rm -r ~/tmp-dotfiles
else else