change docker image location to fix space problem

[gengjiawen]

Is your feature request related to a problem? Please describe

Build this docker will result into no space error

https://github.com/gengjiawen/dockerfile/blob/main/gitpod-android/Dockerfile

Describe the behaviour you'd like

Maybe change the docker location in other places.
Context: https://forums.docker.com/t/how-do-i-change-the-docker-image-installation-directory/1169

Describe alternatives you've considered

Additional context

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[gengjiawen]

not stale

[atduarte]

👋 @gengjiawen! Sorry for taking so long to get to this.

Disk space is limited 10GB in / plus 30GB in /workspace. A bigger option will be introduced with #8261. In the meantime, there's not much we can do :/