edouard@33: #!/bin/bash
edouard@33: 
edouard@33: # this script is given as an exemple
edouard@33: # I use it to have a shell running in ready-to-build container
edouard@33: # obtained with rebuild_docker.sh
edouard@33: 
edouard@33: docker start -i current