diff --git a/clean.sh b/clean.sh new file mode 100644 index 0000000..f5398b6 --- /dev/null +++ b/clean.sh @@ -0,0 +1 @@ +docker images | awk '{if($1 == "workspace"){print $3}}' | xargs -I x sudo docker rmi -f x