MatthiasQuintern/regina
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added write_configuration method

Browse Source
This commit is contained in:
matthias@arch 2023-05-15 23:57:38 +02:00
parent 196e2d635f
commit 771b4a303c
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
regina/utility/globals.py
View File

@ -289,7 +289,10 @@ cfg.add_section("debug", desc="", entries=[
settings = ReginaSettings(cfg)
# settings.load("generated-default.cfg")
if __name__ == "__main__":
def write_config():
# export the configuration as generated-default.cfg
with open("generated-default.cfg", "w") as file:
with open("regina-default.cfg", "w") as file:
file.write(f"{cfg}")
if __name__ == "__main__":
write_config()