Skip to content

Fix development/ scripts to work around various issues#422

Open
norbusan wants to merge 1 commit into
developfrom
fix-db-sync-scripts
Open

Fix development/ scripts to work around various issues#422
norbusan wants to merge 1 commit into
developfrom
fix-db-sync-scripts

Conversation

@norbusan

@norbusan norbusan commented Jun 9, 2026

Copy link
Copy Markdown
Contributor
  • Makefile proxy: database name has changed
  • dump-schema.sh: check for mysqldump, check whether it is mariadbdump, and if either not available or mariadb, use docker to run the code
  • db_codegen.py: don't hard-code venv/bin/python, it conflicts with pyenv
  • db_codegen.py: detect mariadb/mysql client and use the respective ssl flags

- Makefile proxy: database name has changed
- dump-schema.sh: check for mysqldump, check whether it is mariadbdump,
  and if either not available or mariadb, use docker to run the code
- db_codegen.py: don't hard-code venv/bin/python, it conflicts with
  pyenv
- db_codegen.py: detect mariadb/mysql client and use the respective
  ssl flags
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant