edouard@37: #!/bin/bash
edouard@37: 
edouard@37: # delete container
edouard@37: docker rm beremiz_public_builder_current
edouard@37: