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
33
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     1
#!/bin/bash
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     2
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     3
# this script is given as an exemple
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     4
# I use it to have a shell running in ready-to-build container
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     5
# obtained with rebuild_docker.sh
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     6
12390414aed0 added helper scripts to use docker build
Edouard Tisserant <edouard.tisserant@gmail.com>
parents:
diff changeset
     7
docker start -i current