#!/bin/bash ## MDPSIM # Setting up the MDPSIM repository # git clone git@gitlab.com:human-machine-teaming/planning/mdpsim.git ${HOME}/dev/mdpsim/ cd ${HOME}/dev/mdpsim/ ./build.sh