#!/bin/sh if [ "$1" == "chall" ]; then pushd chall docker build -t cscg22-gearboy-chall . docker run --name "cscg22-gearboy-chall-$$" --net=host -it cscg22-gearboy-chall else pushd server docker build -t cscg22-gearboy-testserver . docker run --name "cscg22-gearboy-testserver-$$" --net=host -it cscg22-gearboy-testserver fi