Add ENVIRONMENT to settings

gregsite/settings/base.py

@@ -11,7 +11,7 @@ https://docs.djangoproject.com/en/3.2/ref/settings/
 """
 
 from pathlib import Path
-from typing import List
+from typing import List, Literal
 
 # Build paths inside the project like this: BASE_DIR / 'subdir'.
 BASE_DIR = Path(__file__).resolve().parent.parent
@@ -262,6 +262,8 @@ NOTIFICATION_PUBLISHER = {
 }
 
 INSTANCE_NAME = "local"
+# i.e. 'prod', 'test', ...
+ENVIRONMENT = "unknown"
 INTERNAL_RK_PREFIX = "no.{instance}.greg".format(instance=INSTANCE_NAME)
 
 FEIDE_SOURCE = "feide"

gregsite/settings/dev.py

@@ -2,6 +2,8 @@ from .base import *
 
 # This is the default configuration file when running manage.py
 
+ENVIRONMENT = "dev"
+
 ALLOWED_HOSTS += ["localhost", "127.0.0.1"]
 # EMAIL_HOST = "smtp.uio.no"
 # EMAIL_PORT = "468"

gregsite/settings/prod.py

@@ -5,6 +5,8 @@ from .base import *
 # This is the default configuration file when starting the app through
 # either greg.wsgi.application or greg.asgi.application
 
+ENVIRONMENT = "prod"
+
 # Put secret production settings in local.py
 
 DEBUG = False

gregsite/settings/testing.py

 from .dev import *
 
+ENVIRONMENT = "unittest"
+
 AUTHENTICATION_BACKENDS = [
     "gregui.authentication.auth_backends.DevBackend",  # Fake dev backend
     "django.contrib.auth.backends.ModelBackend",  # default