local: allow setting $DHALL_LOCAL_ROOT

timbertson · Apr 5, 2021 · b76d80a · b76d80a
1 parent ef9b261
commit b76d80a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/maintenance/local b/maintenance/local
@@ -64,6 +64,7 @@ function restore_remote {
 
 function find_all {
 	base_dir="$(dirname "$0")"
+	base_dir="${DHALL_LOCAL_ROOT:-$base_dir}"
 	log "base_dir: $base_dir"
 	find "$base_dir" -name '*.dhall.local' | while read f; do
 		path="$(dirname "$f")/$(basename "$f" .local)"