diff --git a/plugins/docker-options/post-delete b/plugins/docker-options/post-delete new file mode 100755 index 000000000..6f5c2adfd --- /dev/null +++ b/plugins/docker-options/post-delete @@ -0,0 +1,13 @@ +#!/usr/bin/env bash +set -eo pipefail +[[ $DOKKU_TRACE ]] && set -x + +trigger-docker-options-post-delete() { + declare desc="deletes docker options files for an app" + declare trigger="post-delete" + declare APP="$1" + + rm -f "$(fn-get-phase-file-path "$APP" "build")" "$(fn-get-phase-file-path "$APP" "deploy")" "$(fn-get-phase-file-path "$APP" "run")" +} + +trigger-docker-options-post-delete "$@"