#!/bin/bash
rsync -r --delete-after --quiet $TRAVIS_BUILD_DIR/_site/. martens7@wolf.uberspace.de:tmp/$TRAVIS_BUILD_ID
ssh martens7@wolf.uberspace.de rm -rf tmp/old.build
ssh martens7@wolf.uberspace.de mkdir tmp/old.build
ssh martens7@wolf.uberspace.de mv html/{.,}* tmp/old.build/
ssh martens7@wolf.uberspace.de mv tmp/$TRAVIS_BUILD_ID/{.,}* html/
ssh martens7@wolf.uberspace.de rm -rf tmp/$TRAVIS_BUILD_ID