mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-24 08:32:02 +00:00
Update get-clickhouse-docs.sh
This commit is contained in:
parent
482a9690fc
commit
8b965ba895
@ -37,7 +37,7 @@ else
|
||||
fi
|
||||
|
||||
if [ "$set_git_hook" = "y" ]; then
|
||||
hook_command="$(pwd)/pull-clickhouse-docs-hook.sh $UPDATE_PERIOD_HOURS"
|
||||
hook_command="$(pwd)/pull-clickhouse-docs-hook.sh $UPDATE_PERIOD_HOURS ||:"
|
||||
hook_file=$(realpath "$(pwd)/../.git/hooks/post-checkout")
|
||||
if grep -Faq "pull-clickhouse-docs-hook.sh" "$hook_file" 2>/dev/null; then
|
||||
echo "Looks like the update hook already exists, will not add another one"
|
||||
|
Loading…
Reference in New Issue
Block a user