From ee7cdf87ef2578cb3aa59e3f7bd40989e28616b3 Mon Sep 17 00:00:00 2001
From: poikilos <7557867+poikilos@users.noreply.github.com>
Date: Tue, 16 Apr 2019 15:03:59 -0400
Subject: [PATCH] speed up install when already generated dumps

---
 webapp/install-mts.sh | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/webapp/install-mts.sh b/webapp/install-mts.sh
index ba824ce..48edaec 100755
--- a/webapp/install-mts.sh
+++ b/webapp/install-mts.sh
@@ -338,12 +338,21 @@ fi
 popd
 settings_dump="`pwd`/settings-dump.txt"
 settings_types_list="`pwd`/settingstypes-list.txt"
-echo "Creating $settings_dump..."
 #grep -r `pwd`/linux-minetest-kit/minetest/games/Bucket_Game -e "setting_get" > $settings_dump
 pushd linux-minetest-kit/minetest/games
-grep -r Bucket_Game -e "setting_get" > $settings_dump
-grep -r Bucket_Game -e "minetest.settings:get" >> $settings_dump
-find Bucket_Game -name "settingtypes.txt" > $settings_types_list
+if [ ! -f "$settings_dump" ]; then
+    echo "Creating $settings_dump..."
+    grep -r Bucket_Game -e "setting_get" > $settings_dump
+    grep -r Bucket_Game -e "minetest.settings:get" >> $settings_dump
+else
+    echo "* $settings_dump was already created"
+fi
+if [ ! -f "$settings_types_list" ]; then
+    echo "Creating $settings_types_list..."
+    find Bucket_Game -name "settingtypes.txt" > $settings_types_list
+else
+    echo "* $settings_types_list was already created"
+fi
 popd
 echo "Done."
 echo