Attempt to fix directory ownership.

Dockerfile

@@ -20,25 +20,24 @@ ARG is_single_library
 ARG library_type
 
 USER root
+WORKDIR /home/${USER}/Codes/MoReFEM
+RUN chmod 777 /opt
 
-WORKDIR MoReFEM
-
-RUN mkdir -p build_docker
+USER ${USER}
 
-RUN chmod 777 build_docker /opt
+RUN chown -R ${USER} .
 
-USER ${USER}
+RUN mkdir -p build_docker Documentation ExternalTools/ClangFormat
 
 COPY Sources Sources
 COPY cmake cmake
 COPY Scripts Scripts
 COPY CMakeLists.txt CMakeLists.txt
 COPY Data Data
-RUN mkdir -p Documentation ExternalTools/ClangFormat
 COPY Documentation/CopyrightNotice.txt Documentation/CopyrightNotice.txt 
 COPY ExternalTools/ClangFormat/clang-format ExternalTools/ClangFormat/clang-format 
 
-WORKDIR build_docker
+WORKDIR /home/${USER}/Codes/MoReFEM/build_docker
 
 RUN python3 ../cmake/Scripts/configure_cmake.py --cache_file=../cmake/PreCache/linux.cmake --cmake_args="-G Ninja"  --install_directory=/opt --third_party_directory=/opt --morefem_as_single_library=${is_single_library} --mode=${mode} --library_type=${library_type}