From afe0e801f03580ac53c1f8387d38a4e55cbdbf28 Mon Sep 17 00:00:00 2001 From: dundargoc Date: Sat, 11 Nov 2023 15:47:58 +0100 Subject: [PATCH] Add common variables to common.sh --- ci/common/common.sh | 3 +++ ci/truncate-history.sh | 4 ---- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/ci/common/common.sh b/ci/common/common.sh index 8277acc7f810..a8d9f89c487b 100644 --- a/ci/common/common.sh +++ b/ci/common/common.sh @@ -30,6 +30,9 @@ require_environment_variable BUILD_DIR "${BASH_SOURCE[0]}" ${LINENO} CI_TARGET=${CI_TARGET:-$(basename "${0%.sh}")} GIT_NAME=${GIT_NAME:-marvim} GIT_EMAIL=${GIT_EMAIL:-marvim@users.noreply.github.com} +DOC_DIR=${DOC_DIR:-${BUILD_DIR}/build/doc} +DOC_REPO=${DOC_REPO:-neovim/doc} +DOC_BRANCH=${DOC_BRANCH:-gh-pages} git_truncate() { local branch="${1}" diff --git a/ci/truncate-history.sh b/ci/truncate-history.sh index 78bb7f6f8714..46d44380f51a 100755 --- a/ci/truncate-history.sh +++ b/ci/truncate-history.sh @@ -7,10 +7,6 @@ source "$BUILD_DIR/ci/common/common.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() {