#!/bin/bash set -eu ulimit -c unlimited pids=$(pidof taler-mint-httpd || true) if [[ ! -z "$pids" ]]; then kill $pids || true sleep 1 kill -9 $pids || true fi echo launching mint cd $HOME nohup $HOME/local/bin/taler-mint-httpd -d $HOME/mint_config | tee $HOME/nohup.mint.out & disown