Skip to content

Set proper workdir for container users

Xiaoyu Wei requested to merge fix-docker-starting-dir into master

So that the user lands on /home/firedrake instead of /home/firedrake/firedrake/src at start.

Merge request reports