#!/bin/bash

sudo docker exec LasTresDocker bash -c 'source ~/.profile && cd && cd LasTres && prove -Ilib t -v'