local/bin/homeinit: Always clone dotfiles and personal to $HOME

master
Pierre Neidhardt 2019-01-22 17:18:48 +01:00
parent e0099e19ca
commit b1f2927c06
1 changed files with 2 additions and 2 deletions

View File

@ -127,7 +127,7 @@ EOF
if [ -e "$SOURCEDIR" ]; then
git -C "$SOURCEDIR" pull
else
git clone ${SSH_ROOT}Ambrevar/personal
git clone ${SSH_ROOT}Ambrevar/personal ~/personal
fi
if [ -e ~/.password-store ]; then
git -C ~/.password-store pull
@ -150,7 +150,7 @@ if [ -e ~/dotfiles ]; then
git -C ~/dotfiles remote set-url origin ${ROOT}Ambrevar/dotfiles
git -C ~/dotfiles pull
else
git clone ${ROOT}Ambrevar/dotfiles
git clone ${ROOT}Ambrevar/dotfiles ~/dotfiles || exit 1
fi
pushd ~/dotfiles
## .bash_profile may prevent .profile from being parsed, so we move it.