mirror of
https://github.com/prometheus/docs.git
synced 2026-02-07 12:44:53 +01:00
80bc7afb30
* Just one char typo Also added simple example to usage documentation. Signed-off-by: Ľubomír Varga <lubomir.varga@nike.sk>
63 lines
1015 B
Bash
Executable File
63 lines
1015 B
Bash
Executable File
#!/bin/bash
|
|
|
|
usage() {
|
|
me=$(basename $0)
|
|
cat <<EOF
|
|
Usage:
|
|
$me [ options ] <repository> [ <refspec> ]
|
|
|
|
Options:
|
|
-d <directory> Remote directory name of the sparse-checkout. Default: docs/
|
|
-t <path> Target path of the checkout. Default: repository basename
|
|
|
|
Example:
|
|
./checkout.sh https://github.com/prometheus/docs.git
|
|
EOF
|
|
|
|
exit 1
|
|
}
|
|
|
|
while getopts 'd:t:' OPT
|
|
do
|
|
case ${OPT} in
|
|
d)
|
|
DIRECTORY="${OPTARG}"
|
|
;;
|
|
t)
|
|
TARGET="${OPTARG}"
|
|
;;
|
|
*)
|
|
usage
|
|
;;
|
|
esac
|
|
done
|
|
|
|
shift $((OPTIND-1))
|
|
|
|
[ $# -ge 1 ] || usage
|
|
|
|
REPOSITORY="$1"
|
|
REFSPEC="$2"
|
|
|
|
if [[ -z "${DIRECTORY}" ]]; then
|
|
DIRECTORY="docs/"
|
|
fi
|
|
|
|
if [[ -z "${TARGET}" ]]; then
|
|
TARGET=$(basename "${REPOSITORY}")
|
|
fi
|
|
|
|
mkdir -p "${TARGET}"
|
|
cd "${TARGET}"
|
|
|
|
git init
|
|
|
|
git config core.sparsecheckout true
|
|
echo "${DIRECTORY}" > .git/info/sparse-checkout
|
|
|
|
if ! git remote | grep -q origin; then
|
|
git remote add origin "${REPOSITORY}"
|
|
fi
|
|
git fetch --depth=1 origin "${REFSPEC}"
|
|
git reset --hard origin/"${REFSPEC}"
|