From f5c49c8c55f3bf20ebcb1543ccf64978aeb28f4a Mon Sep 17 00:00:00 2001
From: poikilos <7557867+poikilos@users.noreply.github.com>
Date: Mon, 8 Apr 2019 10:56:12 -0400
Subject: [PATCH] dump settings for demonstration purposes

---
 .gitignore            |  2 ++
 webapp/install-mts.sh | 12 +++++++++++-
 2 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 6504f35..4d6d084 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,3 +9,5 @@
 /webapp/program.log
 /webapp/WIP
 /webapp/debug.txt
+/webapp/settings-dump.txt
+/webapp/settingstypes-list.txt
diff --git a/webapp/install-mts.sh b/webapp/install-mts.sh
index cd82045..e79c5c4 100755
--- a/webapp/install-mts.sh
+++ b/webapp/install-mts.sh
@@ -165,7 +165,7 @@ else
     # cp -f "$flag_dir/mods/LICENSE" "$HOME/minetest/games/ENLIVEN/mods/LICENSE"
 fi
 popd
-cd ..
+pushd ..
 src="patches/subgame/menu"
 dst="$HOME/minetest/games/ENLIVEN/menu"
 echo "updating '$dst' from '$src/'..."
@@ -293,6 +293,16 @@ if [ "@$enable_client" = "@true" ]; then
         fi
     fi
 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
+popd
 echo "Done."
 echo
 echo