mirror of
https://github.com/ironfox-oss/IronFox.git
synced 2026-06-11 01:34:46 -04:00
32 lines
994 B
Bash
32 lines
994 B
Bash
#!/bin/bash
|
|
|
|
# Script is used to update the ironfoxoss.org website repository.
|
|
# This script is not intended to be executed manually!
|
|
|
|
set -euo pipefail
|
|
|
|
# Set-up our environment
|
|
if [[ -z "${IRONFOX_CI+x}" ]]; then
|
|
export IRONFOX_CI=1
|
|
fi
|
|
if [[ -z "${IRONFOX_SET_ENVS+x}" ]]; then
|
|
bash -x "$(realpath $(dirname "$0"))/env.sh"
|
|
fi
|
|
source "$(realpath $(dirname "$0"))/env.sh"
|
|
|
|
git clone "https://${IF_CI_USERNAME}:${GITLAB_CI_PUSH_TOKEN}@gitlab.com/${TARGET_REPO_PATH}.git" target-repo
|
|
cd target-repo || { echo "Unable to cd into target-repo"; exit 1; };
|
|
|
|
# Generate documentation for patches
|
|
source "${IRONFOX_PYENV}"
|
|
"${IRONFOX_PYTHON}" ./scripts/gen_patch_pages.py ../scripts/patches.yaml
|
|
|
|
# Update version name
|
|
"${IRONFOX_SED}" -i "s/IRONFOX_VERSION = .*/IRONFOX_VERSION = \"${IRONFOX_VERSION}\";/g" \
|
|
./src/version.ts
|
|
|
|
# Commit changes
|
|
git add src
|
|
git commit -m "feat: update patch docs to reflect ironfox-oss/IronFox@${CI_COMMIT_SHA}"
|
|
git push origin "HEAD:${TARGET_REPO_BRANCH}"
|