boost/website-v2-docs
2
0
Fork 0
mirror of https://github.com/boostorg/website-v2-docs.git synced 2026-01-19 04:42:17 +00:00
Code Issues Projects Releases Wiki Activity

antora_docs: cross-platform compatible scripts (#396)

Browse Source
This commit is contained in:
Sam Darwin
2025-01-22 09:40:13 -07:00
committed by GitHub
parent 78aa518679
commit 525bec70a2
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
libdoc.sh
View File

@@ -41,7 +41,8 @@ if [ -z "$node_version" ]; then
echo "Node.js is not installed" echo "Node.js is not installed"
exit 1 exit 1
fi fi
major_version=$(echo "$node_version" | egrep -o "v([0-9]+)\." | cut -c 2- | rev | cut -c 2- | rev) major_version=$(echo "$node_version" | sed -n -E "s/v([0-9]+)\..*$/\1/p")
echo "Node major version is $major_version"
if [ "$major_version" -lt "16" ]; then if [ "$major_version" -lt "16" ]; then
echo "Node.js version $node_version is not supported. Please upgrade to version 16 or higher." echo "Node.js version $node_version is not supported. Please upgrade to version 16 or higher."
node_path=$(which node) node_path=$(which node)
@@ -67,7 +68,7 @@ fi
if command -v git >/dev/null && git rev-parse --is-inside-work-tree >/dev/null 2>&1; then if command -v git >/dev/null && git rev-parse --is-inside-work-tree >/dev/null 2>&1; then
commit_id=$(git rev-parse HEAD) commit_id=$(git rev-parse HEAD)
commit_id=$(expr substr "$commit_id" 1 7) commit_id=$(echo "$commit_id" | sed -n -E "s/^(.{7}).*$/\1/p")
else else
commit_id="" commit_id=""
fi fi