Closed dnkmmr69420 closed 1 year ago
Thank you for filing--taking a look.
Is this bug fixable?
Is this bug fixable?
Sorry for the delay. Yes, it is. It wasn't as simple as I expected, but I have a PR incoming.
I'm wondering if this fix will solve an issue we've been seeing where the contents of .devbox
seems to continue to have an impact on the devbox shell even after a dependency has been removed or changed. Very interested in trying this out!
Current Behavior (bug) Devbox will leave a package that has been manually removed from the config. So if I run
devbox update
, the package is still there even though it is not indevbox.json
Expected Behavior (fix) When I remove a package from the config and run
devbox update
ordevbox install
the package should get removed. devbox should see that there is a package in the nix profile but is not in the config so it should remove it.Additional context Please include the output of
devbox version -v
and a copy of yourdevbox.json
file.Info
JSON
Nano still exists in the profile even though it is not there.
When I run
nix profile install nixpkgs#nano --profile ~/devboxdir/.devbox/nix/profile/default
and I rundevbox update
package doesn't get removed.