Skip to content

Follow up with Dev Container improvements#5615

Open
jordikroon wants to merge 4 commits into
php:masterfrom
jordikroon:devcontainer-improvements
Open

Follow up with Dev Container improvements#5615
jordikroon wants to merge 4 commits into
php:masterfrom
jordikroon:devcontainer-improvements

Conversation

@jordikroon

@jordikroon jordikroon commented Jun 15, 2026

Copy link
Copy Markdown
Member
  • Clone web-php (required by build.sh php).
  • Drop _JAVA_OPTIONS, fixed in doc-base.
  • Override HTTP_HOST since Dev Container uses a proxy.
  • Run php built-in server in the background.

@jordikroon

jordikroon commented Jun 15, 2026

Copy link
Copy Markdown
Member Author

When php/web-php#1927 is merged, we can ditch server-prepend.php

Actually we can't since HTTP_HOST is localhost. So we need to use HTTP_X_FORWARDED_X headers.

@jordikroon jordikroon force-pushed the devcontainer-improvements branch from c5860c2 to 52d13b2 Compare June 16, 2026 20:59
@jordikroon jordikroon force-pushed the devcontainer-improvements branch from 52d13b2 to 66c28cb Compare June 16, 2026 21:15
@jordikroon jordikroon requested a review from TimWolla June 16, 2026 21:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant