Alternate binary install name

[thepratt]

What problem are you trying to solve?

At $WORK, we've started to install devbox through WSL but we've needed to make some adjustments due to naming conflicts. The machines we've procured have come from Microsoft's Devbox VM product and they unfortunately mount a binary also called devbox. With sed commands on install and some manual intervention for generated files I've managed to get everything working.

The sed command for install

• curl -fsSL https://get.jetify.com/devbox | sed -e 's/BIN="devbox"/BIN="jdevbox"/' | bash

The sed modification in the generated .envrc for using direnv

• eval "$(jdevbox generate direnv --print-envrc | sed -e 's/devbox shellenv/jdevbox shellenv/')"

What solution would you like?

1. An override to the install script that allows you to specify the binary name, but still using devbox as the default
2. A customisation (flag/reading of main binary/other) for all commands that generate the binary name, e.g. when using direnv

Alternatives you've considered

No response