During the tutorial on June 23rd 2020 we ran into permission problems when trying to create files in the Docker container, because we used a directory that was created outside of the container as home directory in the container.
The problem was eventually easily fixed with the chmod 1777 command that was added in c24696f by @ocaisa.
@ChristianKniep @akesandgren Any more details on this, and suggestions for a proper long-term fix?
Should we just chmod a+w the directory after creating it, or is there a better way to ensure this always works?
Another problem with mounting a directory in the container is that the pre-downloaded sources that are pre-fetched into easybuild/sources in the home directory in the container image are no longer available (which could have prevented some of the SourceForge download trouble we hit).
During the tutorial on June 23rd 2020 we ran into permission problems when trying to create files in the Docker container, because we used a directory that was created outside of the container as home directory in the container.
The problem was eventually easily fixed with the
chmod 1777command that was added in c24696f by @ocaisa.@ChristianKniep @akesandgren Any more details on this, and suggestions for a proper long-term fix?
Should we just
chmod a+wthe directory after creating it, or is there a better way to ensure this always works?Another problem with mounting a directory in the container is that the pre-downloaded sources that are pre-fetched into
easybuild/sourcesin the home directory in the container image are no longer available (which could have prevented some of the SourceForge download trouble we hit).