Changes home directory to be persistent

gristlabs · Jul 16, 2024 · 1de6b7a · 1de6b7a
1 parent 3a902c4
commit 1de6b7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sandbox/docker_entrypoint.sh b/sandbox/docker_entrypoint.sh
@@ -17,7 +17,7 @@ if [[ $current_user_id == 0 ]]; then
   find $write_dir ! -user "$target_user" -exec chown "$target_user" "{}" +
 
   # Make a home directory for the target user, in case anything needs to access it.
-  export HOME="/tmp/users/${target_user}"
+  export HOME="/grist_user_homes/${target_user}"
   mkdir -p "$HOME"
   chown -R "$target_user":"$target_group" "$HOME"