devbox icon indicating copy to clipboard operation
devbox copied to clipboard

Running script can modify lock file when plugin version changes

Open mikeland73 opened this issue 1 year ago • 0 comments

What happened?

Ran devbox run <script> after updating nodejs. Plugin version went from "not set" to 0.0.2" in devbox.lock

Steps to reproduce

Command

No response

devbox.json

No response

Devbox version

0.12.0

Nix version

No response

What system does this bug occur on?

macOS (Intel)

Debug logs

No response

mikeland73 avatar Jul 11 '24 04:07 mikeland73