#!/bin/bash
set -x
DOCKERPS=`sudo docker ps | grep "cartesi/machine-manager" | cut -f 1 -d " "`
echo $DOCKERPS
sudo docker stop $DOCKERPS && sudo docker rm $DOCKERPS