Skip to content

Replacing /home/$USER with $HOME in Docker entrypoint.

Joshua Whitley requested to merge 705-flexible-home-directory into master

Closes #705

Edited by Joshua Whitley

Merge request reports