#!/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