Adding new extension fails

[jorgemfm]

Info:

• Docker version 18.03.1-ce, build 9ee9f40
• Laradock commit 0c41fce
• System info PC
• System info disto/version: Windows 10

Issue:

The laradock workspace comes with php 7.2.4 although the repository only has php 7.2.5 available
This means that it fails when adding a new extension.

Example:

E: Failed to fetch http://ppa.launchpad.net/ondrej/php/ubuntu/pool/main/p/php7.2/php7.2-ldap_7.2.4-1+ubuntu16.04.1+deb.sury.org+1_amd64.deb 404 Not Found

---

Expected behavior:

Installing new extensions should work

---

Reproduce:

Just activate a new extension under Workspace Customization on the .env file

Something like: WORKSPACE_INSTALL_LDAP=true

And run docker-compose build workspace

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[stale]

Hi again 👋 we would like to inform you that this issue has been automatically closed 🔒 because it had not recent activity during the stale period. We really really appreciate your contributions, and looking forward for more in the future 🎈.