menu
announcement

Spectrum is now read-only. Learn more about the decision in our official announcement.

Gitpod

Gitpod - one-click online IDE for GitHub

Channels
Team

Disk Space Issue?

March 18, 2019 at 3:17am

Disk Space Issue?

March 18, 2019 at 3:17am (Edited 3 years ago)
Hi,
I'm new to GitPod.io, but so far it's very compelling, especially for doing development from my Chromebook.
I've been trying it out with a pretty simple rust app: https://github.com/cilquirm/yew-gitpod-example/
After an hour or so of usage, the workspace stopped working (not able to save files, not able to commit files back to github, etc.. ). It seemed like this was because I ran out of disk space.
At first I thought it was because I ran rustup default nightly and cargo install cargo-web and cargo build, which could fill up the disk with a load of additional libraries, but even deleting the cargo cache didn't help, as the /workspace directory is still at 100%
I tried to archive my current project and start anew, but even the new project opened up with workspace at 100% so I'm unable to move any further.
Any ideas on how I can move forward?
Thanks for this product.
Best, A-

March 18, 2019 at 7:12am
Hi, there was indeed a problem with a full hard drive on one of the severs. It's resolved now and there should be plenty of free disk space for /workspace now. regards, Moritz
Edited