enter_docker.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sat, 16 Dec 2017 17:28:22 +0100
changeset 33 12390414aed0
child 37 fd09116d3537
permissions -rwxr-xr-x
added helper scripts to use docker build
#!/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