Add entr environment variable

Attempt to fix an issue where file changes are not recognised by entr when mounted from Azure Storage.
alan-turing-institute · Sep 19, 2023 · ddad284 · ddad284
1 parent 68557bb
commit ddad284
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/data_safe_haven/infrastructure/stacks/sre/software_repositories.py b/data_safe_haven/infrastructure/stacks/sre/software_repositories.py
@@ -251,6 +251,13 @@ def __init__(
                                 name="NEXUS_PORT",
                                 value="8081",
                             ),
+                            # Fix issue with changes to files on Azure storage mount not
+                            # being recognised by entr
+                            # https://github.com/eradman/entr/blob/5.4/README.md#docker-and-wsl
+                            containerinstance.EnvironmentVariableArgs(
+                                name="ENTR_INOTIFY_WORKAROUND",
+                                value="1",
+                            ),
                         ],
                         ports=[],
                         resources=containerinstance.ResourceRequirementsArgs(