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