#!/usr/bin/fish
echo "[dcpull] Trying pulling documents from remote Jupyter Raspberry Pi ..."
rsync -parv jovian-hersemeule.eu:~/Documents/ ~/Documents/ -e "ssh -p 7025"
echo "[dcpull] Pull terminated."
