From 3bb15d1eab1c28cfb62f9f38b4e4c02416591397 Mon Sep 17 00:00:00 2001 From: Maniack Crudelis Date: Mon, 17 Sep 2018 11:04:53 +0200 Subject: [PATCH] Fix weird linter error --- scripts/upgrade | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/upgrade b/scripts/upgrade index dd23203..75be9a7 100755 --- a/scripts/upgrade +++ b/scripts/upgrade @@ -215,7 +215,7 @@ fi # TODO Taken from old "upgrade" script. Should check if it is needed and what it does # Update all plugins -for name_plugin in $(sudo -s cat $final_path/lib/plugins/*/plugin.info.txt | grep url | awk -F':' '{print $3}'); +for name_plugin in $(sudo -s cat $final_path/lib/plugins/*/plugin.info.txt | grep url | awk -F ':' '{print $3}'); do # Get a official plugin for dokuwiki, not update a no-official sudo wget -nv --quiet "https://github.com/splitbrain/dokuwiki-plugin-${name_plugin}/zipball/master" -O "${name_plugin}.zip" -o /dev/null || true