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