Ensure cargo home directory exists and gitpod user has permissions

Author: aledbf

full/Dockerfile

@@ -199,6 +199,10 @@ ENV PATH=$PATH:$HOME/.cargo/bin
 ENV CARGO_HOME=/workspace/.cargo
 ENV PATH=$CARGO_HOME/bin:$PATH
 
+USER root
+RUN mkdir -p $CARGO_HOME \
+    && chown -R gitpod.gitpod $CARGO_HOME
+USER gitpod
 RUN bash -lc "cargo install cargo-watch cargo-edit cargo-tree cargo-workspaces"
 
 ### Docker ###