build-docker 233 B

123456789
  1. #!/bin/bash
  2. # cd into the directory containing this script (from the bash faq 028)
  3. if [[ $BASH_SOURCE = */* ]]; then
  4. cd -- "${BASH_SOURCE%/*}/" || exit
  5. fi
  6. cd ..
  7. docker build $* -t ${PRAC_DOCKER_PREFIX}prac -f docker/Dockerfile .