1
0
Fork 0
This commit is contained in:
Valentin Gagarin 2025-03-20 13:11:18 +01:00
parent 658fa7ff60
commit de33e888c7

View file

@ -205,6 +205,7 @@ in
# - the `manage` command
# - here, the service configuration
# Ideally we'd set them in two places (development environment and service configuration) but in the same format.
#
# For that we need to take into account
# - the different types of settings
# - secrets, which must not end up in the store
@ -212,7 +213,7 @@ in
# - ergonomics
# - manipulation should be straightforward in both places; e.g. dumping secrets to a directory that is not git-tracked and adding values to an attrset otherwise
# - error detection and correction; it should be clear where and why one messed up so it can be fixed immediately
# We meay also want to test the development environment in CI in order to make sure that we don't break it inadvertently, because misconfiguration due to multiplpe sources of truth wastes a lot of time.
# We may also want to test the development environment in CI in order to make sure that we don't break it inadvertently, because misconfiguration due to multiplpe sources of truth wastes a lot of time.
environment = {
USER_SETTINGS_FILE = "${configFile}";
DATABASE_URL = database-url;