2021-07-27 00:04:40 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
# This is a utility script to clean up after a failed or successful Docker
|
|
|
|
|
# image build in order to speed up development and debugging
|
|
|
|
|
|
2021-07-28 01:08:55 +08:00
|
|
|
DOCKER_DIR="$(realpath $(dirname $BASH_SOURCE[0]))"
|
2021-07-27 00:04:40 +08:00
|
|
|
|
2021-07-28 01:08:55 +08:00
|
|
|
|
|
|
|
|
rm -rf "$HOME/git/monkey"
|
|
|
|
|
rm -rf "$DOCKER_DIR/monkey"
|
|
|
|
|
rm -rf "$DOCKER_DIR/tgz"
|
|
|
|
|
rm "$DOCKER_DIR"/dk.monkeyisland.*.tar
|
|
|
|
|
rm "$DOCKER_DIR"/infection_monkey_docker*.tgz
|
