From 168ed1716c90539b5aa1871ca6f43b27c6eecc9d Mon Sep 17 00:00:00 2001
From: Jose Diaz-Gonzalez <email@josediazgonzalez.com>
Date: Tue, 1 Dec 2020 22:38:20 -0500
Subject: [PATCH] fix: cleanup docker options during post-delete

While the directory removal should be enough, we should also force-clean just to be sure.
---
 plugins/docker-options/post-delete | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100755 plugins/docker-options/post-delete

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 "$@"