examples/grok-pull.post_update_hook: move url_base to the top

Users are encouraged to edit this script, anyways, so make it
easy for them to swap out and use whatever URL they need.

diff --git a/examples/grok-pull.post_update_hook.sh b/examples/grok-pull.post_update_hook.sh
index 18200ba2eb06f6e5029f2783cbf76fde1c27a013..3ead394408eb68f80950f78b6326f2ee5e1f471c 100755 (executable)
--- a/examples/grok-pull.post_update_hook.sh
+++ b/examples/grok-pull.post_update_hook.sh
@@ -3,6 +3,8 @@
 # git repo path as it's first and only arg.
 full_git_dir="$1"
 
+url_base=http://127.0.0.1:8080/
+
 # same default as other public-inbox-* tools
 PI_CONFIG=${PI_CONFIG-~/.public-inbox/config}
 
@@ -79,7 +81,7 @@ case $cfg_dir in
                echo >&2 "E: curl $config_url failed"
                echo >&2 "E: using bogus <$addresses> for $inbox_dir"
        fi
-       local_url="http://127.0.0.1:8080/$inbox_name"
+       local_url="$url_base$inbox_name"
        public-inbox-init -V$inbox_fmt "$inbox_name" \
                "$inbox_dir" "$local_url" $addresses