tools/remote clones the watched repository from Gitea by default
The repository moved to git.javagil.de, but repo-init still defaulted to the GitHub mirror, which is no longer updated. A freshly cloned instance therefore watched a stale main. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
co-authored by
Claude Opus 5
parent
0761a274db
commit
94a6cf39b6
+2
-2
@@ -44,7 +44,7 @@
|
|||||||
# Optional in the env file:
|
# Optional in the env file:
|
||||||
# WERKATOR_INIT_CONFIG the init fragment to apply (repo-init, instance-start)
|
# WERKATOR_INIT_CONFIG the init fragment to apply (repo-init, instance-start)
|
||||||
# WERKATOR_REPO_URL https clone URL of the watched repository
|
# WERKATOR_REPO_URL https clone URL of the watched repository
|
||||||
# (default: https://github.com/mhoennig/werkator.git)
|
# (default: https://git.javagil.de/mi/werkator.git)
|
||||||
# WERKATOR_REPO_DIR directory of the watched repository, absolute or relative to
|
# WERKATOR_REPO_DIR directory of the watched repository, absolute or relative to
|
||||||
# WERKATOR_PATH (default: werkator); it also names the systemd
|
# WERKATOR_PATH (default: werkator); it also names the systemd
|
||||||
# unit, exactly as `init --systemd` derives it
|
# unit, exactly as `init --systemd` derives it
|
||||||
@@ -122,7 +122,7 @@ require_env WERKATOR_REMOTE WERKATOR_PATH
|
|||||||
HOST="$WERKATOR_REMOTE"
|
HOST="$WERKATOR_REMOTE"
|
||||||
TARGET_DIR="$WERKATOR_PATH"
|
TARGET_DIR="$WERKATOR_PATH"
|
||||||
ROOTFS="${WERKATOR_ROOTFS:-$REPO_ROOT/build/werkator-buildenv-trixie-java-go-node.tar.zst}"
|
ROOTFS="${WERKATOR_ROOTFS:-$REPO_ROOT/build/werkator-buildenv-trixie-java-go-node.tar.zst}"
|
||||||
REPO_URL="${WERKATOR_REPO_URL:-https://github.com/mhoennig/werkator.git}"
|
REPO_URL="${WERKATOR_REPO_URL:-https://git.javagil.de/mi/werkator.git}"
|
||||||
|
|
||||||
# The host layout is three values, not one convention: an installation that grew
|
# The host layout is three values, not one convention: an installation that grew
|
||||||
# before this script existed puts them elsewhere, and the defaults are exactly what
|
# before this script existed puts them elsewhere, and the defaults are exactly what
|
||||||
|
|||||||
Reference in New Issue
Block a user