From ddad284077c36ba9430dca406f3138755f31a645 Mon Sep 17 00:00:00 2001 From: Jim Madge Date: Tue, 19 Sep 2023 13:56:15 +0100 Subject: [PATCH] Add entr environment variable Attempt to fix an issue where file changes are not recognised by entr when mounted from Azure Storage. --- .../infrastructure/stacks/sre/software_repositories.py | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/data_safe_haven/infrastructure/stacks/sre/software_repositories.py b/data_safe_haven/infrastructure/stacks/sre/software_repositories.py index dd83669806..c613e8202b 100644 --- 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(