Fix AdventureLog installation failure: missing postgis extension permissions #9674
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
✍️ Description
AdventureLog installation fails during Django migrations with
ProgrammingError: keine Berechtigung, um Erweiterung »postgis« zu erzeugen(no permission to create extension 'postgis'). Django attempts to create the extension as non-superuseradventurelog_user, which lacks privileges.Changes
install/adventurelog-install.sh
PG_DB_EXTENSIONS="postgis"tosetup_postgresql_dbcall, ensuring extension creation by postgres superuser during initial database setupct/adventurelog.sh
update_script()before migrations, protecting against update failures on installations created before this fix🔗 Related PR / Issue
Link: Per agent instructions in issue
✅ Prerequisites (X in brackets)
🛠️ Type of Change (X in brackets)
README,AppName.md,CONTRIBUTING.md, or other docs.Original prompt
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.