devbox
devbox copied to clipboard
installing specific php extension version defaults to latest
What happened?
I'm trying to install the package [email protected]
The install looks fine and a devbox update gives me
Info: Already up-to-date [email protected] 1.15.0
but if I run php -r "phpinfo(INFO_MODULES);" | grep -B 3 -i version |grep MongoDB i get
2.1.1 is the latest version
Steps to reproduce
devbox add [email protected]install php 8.1devbox add [email protected]install the php extensionphp -r "phpinfo(INFO_MODULES);" | grep -B 3 -i version |grep MongoDBcheck asking to PHP the version of the loaded extension
Command
No response
devbox.json
{
"$schema": "https://raw.githubusercontent.com/jetify-com/devbox/0.14.2/.schema/devbox.schema.json",
"packages": [
"[email protected]",
"[email protected]"
],
"shell": {
"init_hook": [
"echo 'Welcome to devbox!' > /dev/null"
],
"scripts": {
"test": [
"echo \"Error: no test specified\" && exit 1"
]
}
}
}
Devbox version
0.15.1
Nix version
nix (Determinate Nix 3.6.6) 2.29.0
What system does this bug occur on?
Linux (x86-64)
Debug logs
No response