Docker: Problem with file permissions under Linux

[AlexanderSchultheiss]

Description

The shell scripts that make it easier to execute experiments under Linux can cause a permission problem when executed with sudo. The problem is, that write permission to the result directory is not granted to the user as the sudo command will create the directory with admin privileges. This problem has to be addressed, because some users have to apply sudo in order to run the Docker container.

Workaround

• Remove mkdir results command from experiment.sh
• Execute mkdir results command in the project's root directory
• Start the experiments as described in the README

Possible solution

• Check whether the user has permissions to execute Docker
• If this is not the case, request elevated permissions for the execution of the Docker container

[AlexanderSchultheiss]

I fixed this issue by adding a custom .gitignore file to the results directory. The directory is now included in the repository with correctly set permissions