mirror of
https://github.com/Heretek-Games/flatpark.git
synced 2026-10-12 02:05:52 +00:00
publish.sh --verify used the real remote name (VERIFY_REMOTE_NAME defaulted to REMOTE_NAME), so a local verify rewrote the user's real flatpark remote to file://out/repo with the throwaway signing key and left it that way. Verify now targets a separate flatpark-local remote (refusing to run if the names collide), uninstalls the verified apps and deletes the remote when it finishes — including on failure, via an EXIT trap. Apps already installed from another remote are moved aside with --reinstall and restored to their original origin during cleanup. Set FLATPARK_VERIFY_KEEP=1 to keep the install around for manual runtime testing. Co-Authored-By: Claude Fable 5 <[email protected]>
29 lines
1.3 KiB
Plaintext
29 lines
1.3 KiB
Plaintext
# FlatPark publish configuration (Phase 0, local-first).
|
|
# Every value is env-overridable: `OUT_DIR=/tmp/x ./scripts/publish.sh`.
|
|
: "${REPO_TITLE:=FlatPark}"
|
|
: "${REPO_HOMEPAGE:=https://flatpark.org}"
|
|
: "${REPO_COMMENT:=Yet another Flatpak hub — AI-assisted welcome.}"
|
|
: "${REPO_URL:=https://dl.flatpark.org/}"
|
|
: "${REPO_FILE_URL:=${REPO_URL%/}/flatpark.flatpakrepo}"
|
|
: "${RUNTIME_REPO_URL:=https://dl.flathub.org/repo/flathub.flatpakrepo}"
|
|
: "${REMOTE_NAME:=flatpark}"
|
|
: "${RUNTIME_REMOTE_NAME:=flathub}"
|
|
# Temporary remote used by `publish.sh --verify`. Must differ from REMOTE_NAME
|
|
# so a local verify never rewrites the real remote's URL/key in the user's
|
|
# Flatpak installation; it is removed again when verify finishes.
|
|
: "${VERIFY_REMOTE_NAME:=${REMOTE_NAME}-local}"
|
|
: "${REGISTRY_DIR:=$ROOT/registry}"
|
|
# Where the packaging recipes live, so the site can link each app to its
|
|
# registry/<id>/ dir (manifest, wrapper, apply_extra.sh, ...) for review.
|
|
: "${PACKAGING_REPO_URL:=https://github.com/flatpark/flatpark}"
|
|
: "${PACKAGING_BRANCH:=main}"
|
|
|
|
: "${GNUPGHOME_DIR:=$ROOT/.gnupg-flatpark}"
|
|
: "${KEY_NAME:=FlatPark Repository Signing Key}"
|
|
: "${KEY_EMAIL:[email protected]}"
|
|
|
|
: "${OUT_DIR:=$ROOT/out}"
|
|
: "${REPO_DIR:=$OUT_DIR/repo}"
|
|
: "${PAGES_DIR:=$OUT_DIR/site}"
|
|
: "${PUBKEY_FILE:=$OUT_DIR/flatpark.pub.asc}"
|