Page MenuHomeSoftware Heritage

Use /usr/bin/env bash instead of /bin/bash
ClosedPublic

Authored by lewo on Mar 9 2020, 5:39 PM.

Details

Summary

NixOS (like some other distributions) doesn't have bash installed in
/bin.
This would also allow users to use the $PATH to choose a
alternative bash version.

Diff Detail

Repository
rDENV Development environment
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

I refrained from doing it for 5 years ;)

This revision is now accepted and ready to land.Mar 9 2020, 6:13 PM

That still feels weird but I guess it doesn't hurt either.

Rebased on master

This revision was automatically updated to reflect the committed changes.