Update installto/update script to remove old default skins and copy all necessary files; repeat notice about missing config options after auto-update

1 files changed, 6 insertions, 0 deletions

diff --git a/bin/update.sh b/bin/update.sh
index 60dc95b9d..797c69aa0 100755
--- a/bin/update.sh
+++ b/bin/update.sh
@@ -111,6 +111,12 @@ if ($RCI->configured) {
         if ($write1 && $write2) {
           echo "Done.\n";
           echo "Your configuration files are now up-to-date!\n";
+
+          if ($messages['missing']) {
+            echo "But you still need to add the following missing options:\n";
+            foreach ($messages['missing'] as $msg)
+              echo "- '" . $msg['prop'] . ($msg['name'] ? "': " . $msg['name'] : "'") . "\n";
+          }
         }
         else {
           echo "Failed to write config files!\n";