Skip to content

Add stripping to installed extensions #1213

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

Merged
merged 1 commit into from
Oct 12, 2021

Conversation

tianon
Copy link
Member

@tianon tianon commented Oct 12, 2021

Related to #1212
Fixes #297

@yosifkit yosifkit merged commit 15ddd64 into docker-library:master Oct 12, 2021
@yosifkit yosifkit deleted the strip-ext branch October 12, 2021 22:55
docker-library-bot added a commit to docker-library-bot/official-images that referenced this pull request Oct 13, 2021
Changes:

- docker-library/php@15ddd64: Merge pull request docker-library/php#1213 from infosiftr/strip-ext
- docker-library/php@d7f4627: Merge pull request docker-library/php#1212 from infosiftr/find-perm
- docker-library/php@b2c6b85: Add stripping to installed extensions
- docker-library/php@6e558df: Fix "find -perm" syntax (and ignore "strip" failures but not "find" failures)
- docker-library/php@1e6fd3b: Merge pull request docker-library/php#1208 from infosiftr/extra-extra
- docker-library/php@6d7ea20: Merge PHP_EXTRA_* into the places they're used
@glensc
Copy link
Contributor

glensc commented Oct 13, 2021

better late than never! :D

docker-library-bot added a commit to docker-library-bot/official-images that referenced this pull request Oct 14, 2021
Changes:

- docker-library/php@505d866: Update 8.1-rc to 8.1.0RC4
- docker-library/php@15ddd64: Merge pull request docker-library/php#1213 from infosiftr/strip-ext
- docker-library/php@d7f4627: Merge pull request docker-library/php#1212 from infosiftr/find-perm
- docker-library/php@b2c6b85: Add stripping to installed extensions
- docker-library/php@6e558df: Fix "find -perm" syntax (and ignore "strip" failures but not "find" failures)
- docker-library/php@1e6fd3b: Merge pull request docker-library/php#1208 from infosiftr/extra-extra
- docker-library/php@6d7ea20: Merge PHP_EXTRA_* into the places they're used
NeilHanlon pushed a commit to NeilHanlon/official-images that referenced this pull request Oct 27, 2021
Changes:

- docker-library/php@505d866: Update 8.1-rc to 8.1.0RC4
- docker-library/php@15ddd64: Merge pull request docker-library/php#1213 from infosiftr/strip-ext
- docker-library/php@d7f4627: Merge pull request docker-library/php#1212 from infosiftr/find-perm
- docker-library/php@b2c6b85: Add stripping to installed extensions
- docker-library/php@6e558df: Fix "find -perm" syntax (and ignore "strip" failures but not "find" failures)
- docker-library/php@1e6fd3b: Merge pull request docker-library/php#1208 from infosiftr/extra-extra
- docker-library/php@6d7ea20: Merge PHP_EXTRA_* into the places they're used
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.

Use 'strip -s` in docker-php-ext-enable to save disk space
3 participants