clean_docker_container.sh
changeset 37 fd09116d3537
equal deleted inserted replaced
36:ad68e85dc416 37:fd09116d3537
       
     1 #!/bin/bash
       
     2 
       
     3 # delete container
       
     4 docker rm beremiz_public_builder_current
       
     5