[WIP] Export the devbox global prefix of the packages that have been installed.

[rbelem]

Summary

How was it tested?

[bketelsen]

This is useful! While you're here, can you add DEVBOX_GLOBAL_ROOT pointing to .local/share/devbox/global/current. That's useful to find files that are needed in the global profile, since the global profile is usually not executed in the same directory where the global devbox.json file lives.

[mikeland73]

@rbelem are you mostly interested in the global root? (the one @bketelsen mentioned) As implemented in this PR it will export for all devbox projects so we may need to special case global or use a different predictable env var for each.

Can you share a bit more about your use case? Do you need the nix profile specifically? Or binaries that have been installed by devbox (.devbox/virtenv/.wrappers/bin/ may be a better path for that, we use wrappers to ensure nix setup hooks are called correctly).

[rbelem]

@mikeland86, I think this is needed for projects and global. I saw myself making an env var for both.
One of my first iterations in the devbox channel was about creating an env var DEVBOX_PREFIX to build the path to a script that was in the share dir. And now DEVBOX_GLOBAL_PREFIX for my global 😅

[mikeland73]

@rbelem thoughts on a new command:

devbox path
devbox path -c path/to/my/config
devbox global path
devbox path --nix-profile
devbox path --bins

So you could do

DEVBOX_GLOBAL_NIX_PROFILE="$(devbox global path --nix-profile)"

cc: @Lagoja

[rbelem]

@mikeland86 Looks flawless to me! And how would the ROOT path that @bketelsen mentioned work? devbox path --projectDir or devbox path --root?

[mikeland73]

@rbelem I was thinking making devbox path (and devbox global path) point to the root.

[bketelsen]

This is a winnerOn May 31, 2023, at 5:45 PM, Mike Landau ***@***.***> wrote: @rbelem I was thinking making devbox path (and devbox global path) point to the root. —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you were mentioned.Message ID: ***@***.***>

[rbelem]

@mikeland86 and devbox global path --nix-profile would point to $HOME/.local/share/devbox/global/default/.devbox/nix/profile/default? devbox global path to $HOME/.local/share/devbox/global/default?

[mikeland73]

@rbelem yep I think so. Open to suggestions if you have a strong opinion.

Main point of contention is deciding if this merits a new top level command. But we're on board with adding the functionality.

[rbelem]

@mikeland86 Look good to me :D ty \o/