Make remote:install idempotent

This commit is contained in:
Chris Wanstrath 2026-03-01 21:50:05 -08:00
parent c1f280a41e
commit aa167f5e29

View File

@ -12,5 +12,10 @@ source "$ROOT_DIR/scripts/config.sh"
ssh "$SSH_HOST" bash <<'SCRIPT' ssh "$SSH_HOST" bash <<'SCRIPT'
set -e set -e
DEST="${DEST:-$HOME/toes}" DEST="${DEST:-$HOME/toes}"
git clone https://git.nose.space/defunkt/toes "$DEST" && cd "$DEST" && ./scripts/install.sh if [ -d "$DEST/.git" ]; then
cd "$DEST" && git pull
else
git clone https://git.nose.space/defunkt/toes "$DEST" && cd "$DEST"
fi
./scripts/install.sh
SCRIPT SCRIPT