You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Fix $DOCKER_USER to use cp and not mv and only convert once #2056
This is actually a bit trickier, if I remember my time with OpenShift, we can actually do that however, the shell script that is responsible for doing that has the username string fixed. I think we can try porting the user hack from Theia for OpenShift.
Activity
docker: Fix $DOCKER_USER
docker: Fix $DOCKER_USER
docker: Fix $DOCKER_USER
docker: Fix $DOCKER_USER (#2057)
sr229 commentedon Sep 6, 2020
This is actually a bit trickier, if I remember my time with OpenShift, we can actually do that however, the shell script that is responsible for doing that has the username string fixed. I think we can try porting the user hack from Theia for OpenShift.
nhooyr commentedon Oct 6, 2020
This is fixed by #2057