devbox icon indicating copy to clipboard operation
devbox copied to clipboard

installing specific php extension version defaults to latest

Open SirStone opened this issue 4 months ago • 0 comments

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

Image

2.1.1 is the latest version

Image

Steps to reproduce

  1. devbox add [email protected] install php 8.1
  2. devbox add [email protected] install the php extension
  3. php -r "phpinfo(INFO_MODULES);" | grep -B 3 -i version |grep MongoDB check 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

SirStone avatar Aug 18 '25 16:08 SirStone