enter_docker.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sat, 16 Dec 2017 17:30:28 +0100
changeset 35 0a74906dcd72
parent 33 12390414aed0
child 37 fd09116d3537
permissions -rwxr-xr-x
updated md5 checksums
#!/bin/bash

# this script is given as an exemple
# I use it to have a shell running in ready-to-build container
# obtained with rebuild_docker.sh

docker start -i current