wehub-resource-sync
a789495a98
FreeBSD Smoke / FreeBSD Smoke (x86_64) (push) Has been cancelled
CI / Quality Guardrails (push) Has been cancelled
CI / Build & Test (macos-latest) (push) Has been cancelled
CI / Build & Test (ubuntu-latest) (push) Has been cancelled
CI / Build & Test (windows-latest) (push) Has been cancelled
CI / Format (push) Has been cancelled
CI / PowerShell Syntax (push) Has been cancelled
CI / Windows Cross-Target Check (Linux) (push) Has been cancelled
74 lines
2.1 KiB
Bash
74 lines
2.1 KiB
Bash
#!/usr/bin/env bash
|
|
# Shared loader for Jcode remote build defaults.
|
|
#
|
|
# The config file is intentionally a shell fragment so users can write either:
|
|
# JCODE_REMOTE_HOST=builder
|
|
# or:
|
|
# export JCODE_REMOTE_HOST=builder
|
|
#
|
|
# Explicit environment variables take precedence over values loaded from the
|
|
# config file. This lets callers temporarily disable remote builds with, for
|
|
# example, `JCODE_REMOTE_CARGO=0 scripts/dev_cargo.sh check`.
|
|
|
|
jcode_remote_config_path() {
|
|
if [[ -n "${JCODE_REMOTE_CONFIG:-}" ]]; then
|
|
printf '%s\n' "$JCODE_REMOTE_CONFIG"
|
|
elif [[ -n "${XDG_CONFIG_HOME:-}" ]]; then
|
|
printf '%s\n' "$XDG_CONFIG_HOME/jcode/remote-build.env"
|
|
elif [[ -n "${HOME:-}" ]]; then
|
|
printf '%s\n' "$HOME/.config/jcode/remote-build.env"
|
|
fi
|
|
}
|
|
|
|
jcode_load_remote_config() {
|
|
local config_file
|
|
config_file="$(jcode_remote_config_path)"
|
|
[[ -n "$config_file" && -f "$config_file" ]] || return 0
|
|
|
|
local had_remote_cargo=0 remote_cargo=""
|
|
local had_remote_host=0 remote_host=""
|
|
local had_remote_dir=0 remote_dir=""
|
|
local had_remote_ssh_bin=0 remote_ssh_bin=""
|
|
local had_remote_rsync_bin=0 remote_rsync_bin=""
|
|
|
|
if [[ ${JCODE_REMOTE_CARGO+x} ]]; then
|
|
had_remote_cargo=1
|
|
remote_cargo="$JCODE_REMOTE_CARGO"
|
|
fi
|
|
if [[ ${JCODE_REMOTE_HOST+x} ]]; then
|
|
had_remote_host=1
|
|
remote_host="$JCODE_REMOTE_HOST"
|
|
fi
|
|
if [[ ${JCODE_REMOTE_DIR+x} ]]; then
|
|
had_remote_dir=1
|
|
remote_dir="$JCODE_REMOTE_DIR"
|
|
fi
|
|
if [[ ${JCODE_REMOTE_SSH_BIN+x} ]]; then
|
|
had_remote_ssh_bin=1
|
|
remote_ssh_bin="$JCODE_REMOTE_SSH_BIN"
|
|
fi
|
|
if [[ ${JCODE_REMOTE_RSYNC_BIN+x} ]]; then
|
|
had_remote_rsync_bin=1
|
|
remote_rsync_bin="$JCODE_REMOTE_RSYNC_BIN"
|
|
fi
|
|
|
|
# shellcheck source=/dev/null
|
|
source "$config_file"
|
|
|
|
if [[ "$had_remote_cargo" -eq 1 ]]; then
|
|
JCODE_REMOTE_CARGO="$remote_cargo"
|
|
fi
|
|
if [[ "$had_remote_host" -eq 1 ]]; then
|
|
JCODE_REMOTE_HOST="$remote_host"
|
|
fi
|
|
if [[ "$had_remote_dir" -eq 1 ]]; then
|
|
JCODE_REMOTE_DIR="$remote_dir"
|
|
fi
|
|
if [[ "$had_remote_ssh_bin" -eq 1 ]]; then
|
|
JCODE_REMOTE_SSH_BIN="$remote_ssh_bin"
|
|
fi
|
|
if [[ "$had_remote_rsync_bin" -eq 1 ]]; then
|
|
JCODE_REMOTE_RSYNC_BIN="$remote_rsync_bin"
|
|
fi
|
|
}
|