add docker page, resolve version at build time - #7
Merged
Conversation
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Replaces the Docker placeholder with the real page, covering both routes into a container.
Prebuilt images — the one-line
FROMchange, tag table, what differs from the official image (static extension, JIT off), the opcache rebuild caveat, a compose example, and removing a previously installed debugger.PIE — a Dockerfile that installs the extension into an official image, for anyone who prefers the extension to the bundled interpreter.
Tested rather than transcribed
The PIE route was run end to end before being written down, on Debian/arm64/PHP 8.4:
The zip extension and unzip/7z commands are both missing, because the officialphp:images have nounzip. The documented Dockerfile installsunzipandlibtoolalongside$PHPIZE_DEPS, and builds clean.php -vreports the debugger,extension_loaded("php_debugger")is true, PIE auto-enables it, and the defaults aremode=debug,start_with_request=yes, port 9003.PHP_DEBUGGER_CONFIGwas confirmed to work live, so the compose example uses the native name.Not tested: Alpine variants and amd64, so the PIE recipe is presented as Debian only.
Version resolved at build time
Versions were written down by hand in several places and had drifted — the navbar claimed
v1.3.0against an actual latest release of0.3.0.docusaurus.config.jsis now an async factory that reads the latest release tag from the GitHub API and exposes it ascustomFields.debuggerVersion. The navbar and theConsoleSamplecomponent both read from it, so a rebuild refreshes every version on the site.FALLBACK_VERSIONkeeps builds working when the API is unreachable or rate limited — verified by stubbingfetchto throw.