diff options
Diffstat (limited to 'examples')
-rwxr-xr-x | examples/grok-pull.post_update_hook.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/examples/grok-pull.post_update_hook.sh b/examples/grok-pull.post_update_hook.sh index ab4e54e7..d003448e 100755 --- a/examples/grok-pull.post_update_hook.sh +++ b/examples/grok-pull.post_update_hook.sh @@ -26,7 +26,13 @@ else fi # run public-inbox-init iff unconfigured -cfg_dir=$(git config -f "$PI_CONFIG" publicinbox."$inbox_name".dir) +cfg_dir=$(git config -f "$PI_CONFIG" publicinbox."$inbox_name".inboxdir) + +# check legacy name for "inboxdir" +case $cfg_dir in +'') cfg_dir=$(git config -f "$PI_CONFIG" publicinbox."$inbox_name".mainrepo) ;; +esac + case $cfg_dir in '') remote_git_url=$(git --git-dir="$full_git_dir" config remote.origin.url) |