#!/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