#!/bin/bash
if [ $# == 0 ]; then
	inst_name="${USER}s_docker"
	echo ${inst_name}
else
	inst_name=$1
fi
docker exec -w $PWD -it $inst_name bash