From ef32d2d88f0ddb219306fc32c32a2fc4a0fda799 Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Thu, 12 Jan 2023 21:03:03 -0500 Subject: [PATCH] fix: do not attempt to reinstall already installed plugins Instead, just warn that they won't be reinstalled. Closes #5549 --- docker/etc/my_init.d/10_dokku_init | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/docker/etc/my_init.d/10_dokku_init b/docker/etc/my_init.d/10_dokku_init index f495142d4..512deefdf 100755 --- a/docker/etc/my_init.d/10_dokku_init +++ b/docker/etc/my_init.d/10_dokku_init @@ -3,15 +3,20 @@ set -eo pipefail log-info() { declare desc="Log info formatter" - echo " $*" 1>&2 + echo " $*" 1>&2 } log-fail() { declare desc="Log fail formatter" - echo "! $*" 1>&2 + echo " ! $*" 1>&2 exit 1 } +log-warn() { + declare desc="Log fail formatter" + echo " ! $*" 1>&2 +} + support-userns() { chown 0:0 /usr/bin/sudo chmod 4755 /usr/bin/sudo @@ -47,7 +52,12 @@ main() { if [[ -f /mnt/dokku/plugin-list ]]; then while read line; do - dokku plugin:install "$(echo "$line" | awk '{print $2}')" "$(echo "$line" | cut -d':' -f1)" + local plugin_name="$(echo "$line" | awk '{print $2}')" + if dokku plugin:installed "$plugin_name"; then + log-warn "Skipping already installed plugin: $plugin_name" + else + dokku plugin:install "$plugin_name" "$(echo "$line" | cut -d':' -f1)" + fi done