#!/bin/bash set -eu DATE=`date` echo "Restarting Taler deployment at $DATE" source "${HOME}/activate" taler-deployment-restart echo "Deployment ready" exit 0