Make gitpod owner of /workspace (#53)

robotology · Oct 17, 2023 · 5f3db3c · 5f3db3c
1 parent 06ceb69
commit 5f3db3c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/dockerfiles/Dockerfile b/dockerfiles/Dockerfile
@@ -115,6 +115,8 @@ RUN chmod +x /usr/bin/start-vnc-session.sh && \
 
 # Make sure specific dirs are owned by gitpod user
 RUN chown -R gitpod.gitpod ${ROBOTOLOGY_SUPERBUILD_INSTALL_DIR}
+RUN mkdir /workspace && \
+    chown -R gitpod.gitpod /workspace
 
 # Manage ports
 EXPOSE 5901 6080 10000/tcp 10000/udp