#!/bin/bash
set -o errexit

repo=$1
repoUrl=$2
commitId=$3
localPath=$4
menuFileName=$5


if [ ! -d "./tmp" ]; then
  mkdir ./tmp
fi
cd ./tmp

if [ -d "./${repo}" ]; then
  rm -rf ./${repo}
fi

mkdir ./${repo}
cd ./${repo}
git init
git remote add origin ${repoUrl}
git fetch origin ${commitId}
git reset --hard FETCH_HEAD

if [ -d "../../${localPath}" ]; then
  rm -rf ../../${localPath}
fi
mkdir -p ../../${localPath}
cp -rf ./docs/* ../../${localPath}
cp ./docs/menu.yml ../../data/docSidebar/${menuFileName}.yml