Open dubielt1 opened 1 year ago
Hey @dubielt1, based on the message when you run devbox global run which rg
, it sounds like you haven't sourced devbox global
in your shell's rc file. Is your goal to use the devbox global
packages in your devbox projects, but not in your host shell?
Hi @Lagoja, that's correct. I only intend to use global packages when I am inside of a devbox shell. I would prefer not to edit my bashrc, per the warning mentioned
Gotcha. I'll discuss with the team on Monday. Thanks for reporting!
I had the same expectation as @dubielt1. Given the documentation, I also expected global package to be available when devbox shell --pure
.
If the goal is to eliminate the "it works on my machine" then host app/lib should not be available on the shell. On the other hand, since you mount $HOME and bashrc is loaded, individual dev needs the ability to add some packages to all devboxes. For example, my bashrc has alias ls=exa
so I personally need exa everywhere.
Current Behavior (bug) Global packages are not available in project shell:
Explicitly using
global
will makerg
available:Expected Behavior (fix) I expect
rg
to be globally available in all devbox shellsThe devbox docs state the following:
Additional context OS: Ubuntu 20.04 on WSL2
devbox version -v
:global
devbox.json
(~/.local/share/devbox/global/default/devbox.json
):local
devbox.json
: