inline functions (#44)

neovim · Oct 8, 2023 · b174400 · b174400
1 parent b7e8ae7
commit b174400
Show file tree

Hide file tree

Showing 7 changed files with 18 additions and 25 deletions.
diff --git a/ci/clang-report.sh b/ci/clang-report.sh
@@ -4,7 +4,6 @@ set -o pipefail
 
 BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 source "$BUILD_DIR/ci/common/common.sh"
-source "$BUILD_DIR/ci/common/doc.sh"
 source "$BUILD_DIR/ci/common/html.sh"
 source "$BUILD_DIR/ci/common/badge.sh"
 

diff --git a/ci/common/doc.sh b/ci/common/doc.sh
diff --git a/ci/doc-index.sh b/ci/doc-index.sh
@@ -6,7 +6,6 @@ set -u
 readonly BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 
 source "${BUILD_DIR}/ci/common/common.sh"
-source "${BUILD_DIR}/ci/common/doc.sh"
 
 generate_doc_index() {
   echo "Updating doc folder from file-list.txt"

diff --git a/ci/pvs-report.sh b/ci/pvs-report.sh
@@ -10,7 +10,6 @@ shopt -s dotglob
 
 readonly BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 source "$BUILD_DIR/ci/common/common.sh"
-source "$BUILD_DIR/ci/common/doc.sh"
 source "$BUILD_DIR/ci/common/html.sh"
 source "$BUILD_DIR/ci/common/badge.sh"
 

diff --git a/ci/truncate-history.sh b/ci/truncate-history.sh
@@ -4,6 +4,23 @@ set -o pipefail
 
 BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 source "$BUILD_DIR/ci/common/common.sh"
-source "$BUILD_DIR/ci/common/doc.sh"
+
+require_environment_variable BUILD_DIR "${BASH_SOURCE[0]}" ${LINENO}
+
+DOC_DIR=${DOC_DIR:-${BUILD_DIR}/build/doc}
+DOC_REPO=${DOC_REPO:-neovim/doc}
+DOC_BRANCH=${DOC_BRANCH:-gh-pages}
+
+# Trim the https://github.com/neovim/doc/ repository history, els it gets huge
+# and slow to clone.  We don't care about the history of the `gh-pages` branch.
+try_truncate_history() {
+  cd "${DOC_DIR}" || { log_error "try_truncate_history: cd failed"; exit 1; }
+  local branch=gh-pages
+  if NEW_ROOT=$(2>/dev/null git rev-parse "$branch"~101) ; then
+    git_truncate "$branch" "$branch"~100
+  else
+    log_info "try_truncate_history: branch ${branch} has too few commits, skipping truncate"
+  fi
+}
 
 try_truncate_history
diff --git a/ci/user-docu.sh b/ci/user-docu.sh
@@ -3,7 +3,6 @@ set -e
 
 BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 source ${BUILD_DIR}/ci/common/common.sh
-source ${BUILD_DIR}/ci/common/doc.sh
 
 generate_user_docu() {
   require_environment_variable BUILD_DIR "${BASH_SOURCE[0]}" ${LINENO}

diff --git a/ci/vimpatch-report.sh b/ci/vimpatch-report.sh
@@ -4,7 +4,6 @@ set -e
 BUILD_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
 export BUILD_DIR
 source ${BUILD_DIR}/ci/common/common.sh
-source ${BUILD_DIR}/ci/common/doc.sh
 source ${BUILD_DIR}/ci/common/html.sh
 
 generate_vimpatch_report() {