#!/bin/bash

if [ ! "$(docker ps -q -f name=RoboticsLanguage)" ]; then
  docker run -it --rm --name=RoboticsLanguage roboticslanguage/rol bash
else
  docker exec -i -t RoboticsLanguage /bin/bash
fi
