• Alexandru Dura's avatar
    Add a script to build the Docker image · 65b6fc66
    Alexandru Dura authored
    We need the user in the container and the user on the host to share
    the same user id, in order to allow sharing a directory without any
    access permissions problems.
    
    Adding a script to enable each user to built her/his own container
    and another to run an image from that container.
    65b6fc66