-
Notifications
You must be signed in to change notification settings - Fork 893
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Optimize our GitPod setup #2586
Comments
Just to add more, I tried to build docs on GitPod last week and it doesn't seem to work. |
I've talked about this with @antonymilne a couple of times but sadly I never got the time to dive deep into why things are the way they are at the moment. I know there are some weirdnessess on how Gitpod pre-caches some things: Lines 4 to 13 in 64b7960
(More info at https://www.gitpod.io/docs/configure/workspaces/tasks, https://www.gitpod.io/docs/configure/projects/prebuilds) I'm all for simplifying the setup or having a custom Docker image as I'm doing with my workshops https://github.com/astrojuanlu/workshop-jupyter-kedro/blob/ce202c7d1164d9e5b6aa331320b32a4f1a342407/.gitpod.yml#L1-L2 but we should not do it carelessly. At the same time, if the current setup doesn't work, it doesn't matter much if it's optimized. |
pyenv shims unfortunately make all this even more complicated 😬 |
At this point I would favor anything that works but slow over the current setup. For example when I open gitpod, I have to wait 10 minutes for the setup now and the The prebuild is not happening at all, I don't know if there is a easy way that we can fix it, it does requires admin permission and I don't have it. In addition, I would like to get this https://www.gitpod.io/for/opensource if possible, I try to apply this before but never receive any follow-up. |
It's functional now but not optimised, spinning a gitpod instance takes 10 minutes. It would be great if can fix the pre-built so it doesn't fetch the whole docker image every time. |
I'm hoping that |
Description
Is your feature request related to a problem? A clear and concise description of what the problem is: "I'm always frustrated when ..."
Our GitPod setup has not been working for a while. #2585 is the quick fix but we can do better. In #2585 @astrojuanlu mentioned he use a custom Docker and we can do something similar for this repostory.
Context
Why is this change important to you? How would you use it? How can it benefit other users?
GitPod is quite useful for review & testing purposes, the current setup is slow and broken.
Possible Implementation
We might be able to use a custom Docker setup, but this requires some investigation into how it works and if that's the best approach.
Possible Alternatives
The text was updated successfully, but these errors were encountered: