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
Add "official" Github Codespaces support #3914
Comments
Very cool. My experience is that it's not too hard, but of course it requires effort and somebody paying attention. Gitpod was more work than I expected in the end, with a variety of things. |
Happy to test this if there are instructions how |
It's not hard. The one thing that is a little confusing is that the ddev-router is not really needed, since codespaces is doing its own reverse proxy. But just go ahead and install ddev as if it were any linux system, consider disabling omit-containers on the router, and expose the web port (and fix it). Take a look at a gitpod project, just start up https://gitpod.io/#DDEV_REPO=https%3A%2F%2Fgithub.com%2Fdrud%2Fd9simple,DDEV_ARTIFACTS=https%3A%2F%2Fgithub.com%2Fdrud%2Fd9simple-artifacts/https://github.com/drud/ddev-gitpod-launcher/ and then take a poke around. Look at the .ddev/config.yaml and the ~/.ddev/global_config.yaml. |
I'm fine with a PR for this, but don't think this will be a priority any time soon. But contributions are welcome. Closing for now. |
I tried to setup DDEV on GitHub Codespaces and I am able to set it up. I used the default Linux images and included docker-in-docker feature and installed DDEV using apt-get commands. Here is the link to my repo. Once DDEV is setup the most important thing is to identify the correct url for the website. Fortunately we have a simple way to identify it. run Only drawback is I am yet to find a way to access PHPMyAdmin and MailHog through UI. |
ddev can't know the URL because codespaces is in charge of it. But if you figure out how to get codespaces to tell you the URL for the right port, then we'll be somewhere. You'll probably want to I'll reopen if you're going to work on this. |
@rfay thanks for the instructions. I tested by making above changes , but ddev web container is not yet bound to port 80,
|
You may want to experiment with this a little locally. It's not a hard idea. You disable ddev-router, then in your project configuration, you use Oh, and you may need You may want to not do the That's most of it. You're just dumping the ddev-router, and then binding the ports you want directly to the web container. |
Github codespaces is now free to all for 60 hours/month, https://twitter.com/github/status/1590403103014420481?s=20&t=uYgWgYTRq0TSSj5iRq6XDg |
I would love to help anybody who wants to finish this territory. We learned so much from gitpod that it shouldn't be hard. |
So, what I know so far...
|
You are welcome to peruse https://github.com/rachellawson/rachelnorfolk |
I'd love to have everybody here test There are test instructions there... |
Is there an existing issue for this?
Is your feature request related to a problem? Please describe
(follow up to #3283, which was repurposed to focus on Gitpod)
We use ddev in Codespaces. It works really well if you set
DDEV_PRETEND_GITPOD=true
. We'd like ddev to auto-configure itself for Codespaces like it does for Gitpod.Describe the solution you'd like
We'd like ddev to autodetect Codespaces in the same way that Gitpod is detected. In Github Codespaces, there are two envvars that you can look for:
In the port list,
:8443
is properly discovered as the right port to attach a URL when we setDDEV_PRETEND_GITPOD=true
:so if it does exactly the same thing as
DDEV_PRETEND_GITPOD=true
whenCODESPACES=true
, we'll be all set.Describe alternatives you've considered
No response
Additional context
No response
The text was updated successfully, but these errors were encountered: