#!/bin/bash -x if test $# -gt 0 -a "${1#-}" = "${1}"; then name=$1 shift else name=$(pwd | sed 's,.*/,,') fi if test "$name" = "docker"; then name=$(pwd | sed 's,/[^/]*$,,;s,.*/,,') fi if test "${name#*/}" = "${name}"; then name=${DOCKER_USER:-mwaeckerlin}/${name} fi echo "**** building $name" set -x docker build $* --rm --force-rm -t ${name,,} .