From db70b77054ff03658ca8bbddd1b6e124e6dc4352 Mon Sep 17 00:00:00 2001 From: zyphlar Date: Sun, 13 Jul 2025 04:47:50 +0000 Subject: [PATCH] Settings change Signed-off-by: zyphlar --- .../unix/maps/{settings.sh.dist => settings.sh.prod} | 0 tools/unix/maps/settings_default.sh | 12 ++++++++++++ 2 files changed, 12 insertions(+) rename tools/unix/maps/{settings.sh.dist => settings.sh.prod} (100%) create mode 100644 tools/unix/maps/settings_default.sh diff --git a/tools/unix/maps/settings.sh.dist b/tools/unix/maps/settings.sh.prod similarity index 100% rename from tools/unix/maps/settings.sh.dist rename to tools/unix/maps/settings.sh.prod diff --git a/tools/unix/maps/settings_default.sh b/tools/unix/maps/settings_default.sh new file mode 100644 index 000000000..7722022cd --- /dev/null +++ b/tools/unix/maps/settings_default.sh @@ -0,0 +1,12 @@ +# NOTE: edit the settings.sh file to customize/override the defaults. + +# Absolutize & normalize paths. +REPO_PATH="${REPO_PATH:-$(cd "$(dirname "$0")/../../.."; pwd -P)}" + +BASE_PATH="${BASE_PATH:-$REPO_PATH/../maps}" +# Temporary files +BUILD_PATH="${BUILD_PATH:-$BASE_PATH/build}" +# Other code repositories, e.g. subways, wikiparser.. +CODE_PATH="${CODE_PATH:-$REPO_PATH/..}" +# Source map data and processed outputs e.g. wiki articles +DATA_PATH="${DATA_PATH:-$BASE_PATH/data}"