From b4df0131b5c4cf9ba1e48d66f5c47b38aafdd394 Mon Sep 17 00:00:00 2001 From: jgart Date: Wed, 10 Nov 2021 14:24:51 -0500 Subject: binderlite: Add server name configuration feature --- issues/binderlite/add-configuration-to-set-server-name.gmi | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 issues/binderlite/add-configuration-to-set-server-name.gmi (limited to 'issues/binderlite/add-configuration-to-set-server-name.gmi') 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 -- cgit v1.2.3