#!/bin/bash pushd "$(dirname "$0")" CURRENT_DIR=$(pwd) pushd "${CURRENT_DIR}/.." NAME=$1 TYPE=$2 if [ -z "$NAME" ]; then echo "Name not set" else if [ -z "${TYPE}" ]; then TYPE=64_bit fi TAG=repertory_shell CONTAINER=${TAG}_shell_${NAME} docker stop ${CONTAINER} docker rm ${CONTAINER} docker build -t ${TAG}:${NAME} - < docker/${TYPE}/${NAME} && docker run -itd --device /dev/fuse --cap-add SYS_ADMIN --name ${CONTAINER} -v $(pwd):/mnt ${TAG}:${NAME} && docker exec -it ${CONTAINER} /bin/bash docker stop ${CONTAINER} docker rm ${CONTAINER} fi popd popd