diff options
| -rw-r--r-- | issues/binderlite/add-configuration-to-set-server-name.gmi | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/issues/binderlite/add-configuration-to-set-server-name.gmi b/issues/binderlite/add-configuration-to-set-server-name.gmi new file mode 100644 index 0000000..d54997c --- /dev/null +++ b/issues/binderlite/add-configuration-to-set-server-name.gmi @@ -0,0 +1,11 @@ +# Add configuration to set server name + +* assigned: jgart + +* feature + +Let's use environment variables as configuration + +https://flask.palletsprojects.com/en/2.0.x/cli/?highlight=environment%20variables + +https://docs.python.org/3/library/os.html?highlight=os%20environ#os.environ |