From a317db071433308125d930013402b739336ba56c Mon Sep 17 00:00:00 2001 From: David Shen Date: Thu, 11 Jan 2018 13:49:32 -0500 Subject: [PATCH] Remove extra "$" at end of docker volume rm --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 4bd4b99..261bad4 100755 --- a/run.sh +++ b/run.sh @@ -2,7 +2,7 @@ docker stop $(docker ps -q) docker container rm $(docker container ls -aq) -docker volume rm $(docker volume ls -q)$ +docker volume rm $(docker volume ls -q) docker volume prune docker run -it --privileged -p 16147:16147 -p 6147:6147 -v $PWD:/player --rm battlecode/battlecode-2018