Grant plan users read access to the ROBOCORP_HOME base directory #669
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
As of now, only admin users have access to the ROBOCORP_HOME base directory on Windows systems, which is what we want. Furthermore, plan users are granted full access to their user-specific ROBOCORP_HOME directory (which is located inside the base directory). This setup is as desired. However, it turned out that this prevents non-admin plan users from building RCC environments. For some reason, read access to the ROBOCORP_HOME base directory is required. Without it, micromamba crashes: