enter_docker.sh
changeset 33 12390414aed0
child 37 fd09116d3537
equal deleted inserted replaced
32:bec145483ea8 33:12390414aed0
       
     1 #!/bin/bash
       
     2 
       
     3 # this script is given as an exemple
       
     4 # I use it to have a shell running in ready-to-build container
       
     5 # obtained with rebuild_docker.sh
       
     6 
       
     7 docker start -i current