diff --git a/panel/nix/configuration.nix b/panel/nix/configuration.nix index 7b6f100e..5faf0daf 100644 --- a/panel/nix/configuration.nix +++ b/panel/nix/configuration.nix @@ -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;