-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Build gitpod.Dockerfile in terminal as if starting a workspace #9865
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Is your feature request related to a problem? Please describe
When using Gitpod to develop my application, I am forced to restart the workspace on every edit to the .gitpod.Dockerfile or use the #imagebuild url trick. This takes a lot of time and the logs are not super accessible.
Describe the behaviour you'd like
In the Gitpod command prompt (Ctrl+Shift+P) a command could be like
Gitpod: Build .gitpod.Dockerfile in terminal
Describe alternatives you've considered
This sequence here:
docker build -f .gitpod.Dockerfile -t gitpod-dockerfile-test .
docker run -it gitpod-dockerfile-test bash
Is sorta useful, and is essentially what I have been doing, but it does not completely simulate starting a workspace. My project (based on the workspace-vnc-full gitpod image) requires that. Rather annoying to start a whole new workspace. And recently I have had problems with that build system link to discord issue
The text was updated successfully, but these errors were encountered: