| 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 |
|
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 |