1 #!/bin/bash
2
3 # this script is given as an exemple
4 # I use it to have a shell running in ready-to-build container
5 # obtained with rebuild_docker.sh
6
7 docker start -i current