Skip to content

Database

Emanuele Roberto Nocera requested to merge Database into master

In this PR, I've added two scripts, in analogy to what we have in the apfelcomb db:

  • generate_dump.sh, to dump theory.db into a (easily editable) text file;
  • generate_database.sh, to generate theory.db from the text file. I have also added the the theory.txt file generated by generate_dump.sh.

Merge request reports