docker: add option to delete docker system img.

2018-12-12 14:27:26 +00:00 · 2018-12-12 14:27:26 +00:00 · 2b96c6f84a
parent 3aa0d620e9
commit 2b96c6f84a
1 changed files with 3 additions and 0 deletions
--- a/docker/Makefile
+++ b/docker/Makefile
@ -38,3 +38,6 @@ clean:
 	@echo "* Starting docker service..."
 	@sudo systemctl start docker
 	@echo "* Done."
+
+delete_img:
+    sudo docker system prune -a