#!/usr/bin/fish
echo "[dcpush] Trying pushing documents to remote Jupyter Raspberry Pi ..."
rsync -parv ~/Documents/ jovian-hersemeule.eu:~/Documents/ -e "ssh -p 7025"
echo "[dcpush] Push terminated."
