leon

leon copied to clipboard

Since the bash binary is not always located in /bin, the leon script doesn't always run.

This change makes the script more portable, so leon will run on more systems.

Tested on NixOS.

Looking at the potential disadvantages of this, it seems that none really matter for Leon. :+1:

It seems like we already have it in Stainless and nobody has complained yet, so it's probably fine. We still need to add it in Inox though.