mirror of
https://github.com/ClickHouse/ClickHouse.git
synced 2024-11-18 13:42:02 +00:00
55 lines
1.5 KiB
Bash
Executable File
55 lines
1.5 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
set -e
|
|
# The script to clone or update the user-guides documentation repo
|
|
# https://github.com/ClickHouse/clickhouse-docs
|
|
|
|
WORKDIR=$(dirname "$0")
|
|
WORKDIR=$(readlink -f "${WORKDIR}")
|
|
cd "$WORKDIR"
|
|
|
|
UPDATE_PERIOD_HOURS=${UPDATE_PERIOD_HOURS:=24}
|
|
|
|
if [ -d "clickhouse-docs" ]; then
|
|
git -C clickhouse-docs pull
|
|
else
|
|
if [ -n "$1" ]; then
|
|
url_type="$1"
|
|
else
|
|
read -rp "Enter the URL type (ssh | https): " url_type
|
|
fi
|
|
case "$url_type" in
|
|
ssh)
|
|
git_url=git@github.com:ClickHouse/clickhouse-docs.git
|
|
;;
|
|
https)
|
|
git_url=https://github.com/ClickHouse/clickhouse-docs.git
|
|
;;
|
|
*)
|
|
echo "Url type must be 'ssh' or 'https'"
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
if [ -n "$2" ]; then
|
|
set_git_hook="$2"
|
|
elif [ -z "$1" ]; then
|
|
read -rp "Would you like to setup git hook for automatic update? (y|n): " set_git_hook
|
|
fi
|
|
|
|
git clone "$git_url" "clickhouse-docs"
|
|
|
|
if [ "$set_git_hook" = "y" ]; then
|
|
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"
|
|
else
|
|
echo "Appending '$hook_command' to $hook_file"
|
|
echo "$hook_command" >> "$hook_file"
|
|
chmod u+x "$hook_file" # Just in case it did not exist before append
|
|
fi
|
|
elif [ ! "$set_git_hook" = "n" ]; then
|
|
echo "Expected 'y' or 'n', got '$set_git_hook', will not setup git hook"
|
|
fi
|
|
fi
|