From 0fad5bdc7d6debb2e0da7ca890449022c50d713e Mon Sep 17 00:00:00 2001
From: "Mikhail f. Shiryaev" <felixoid@clickhouse.com>
Date: Tue, 28 Mar 2023 19:52:51 +0200
Subject: [PATCH] Add a script to clone or update clickhouse-docs

---
 docs/.gitignore             |  1 +
 docs/README.md              |  2 ++
 docs/get-clickhouse-docs.sh | 31 +++++++++++++++++++++++++++++++
 3 files changed, 34 insertions(+)
 create mode 100644 docs/get-clickhouse-docs.sh

diff --git a/docs/.gitignore b/docs/.gitignore
index 378eac25d31..509538d9051 100644
--- a/docs/.gitignore
+++ b/docs/.gitignore
@@ -1 +1,2 @@
 build
+clickhouse-docs
diff --git a/docs/README.md b/docs/README.md
index 9bfd3d2b897..0cd35a4e3ec 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -40,6 +40,8 @@ The documentation contains information about all the aspects of the ClickHouse l
 
 At the moment, [documentation](https://clickhouse.com/docs) exists in English, Russian, and Chinese. We store the reference documentation besides the ClickHouse source code in the [GitHub repository](https://github.com/ClickHouse/ClickHouse/tree/master/docs), and user guides in a separate repo [Clickhouse/clickhouse-docs](https://github.com/ClickHouse/clickhouse-docs).
 
+To get the latter launch the `get-clickhouse-docs.sh` script.
+
 Each language lies in the corresponding folder. Files that are not translated from English are symbolic links to the English ones.
 
 <a name="how-to-contribute"/>
diff --git a/docs/get-clickhouse-docs.sh b/docs/get-clickhouse-docs.sh
new file mode 100644
index 00000000000..1ba0dae9844
--- /dev/null
+++ b/docs/get-clickhouse-docs.sh
@@ -0,0 +1,31 @@
+#!/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"
+
+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
+  git clone "$git_url" "clickhouse-docs"
+fi