Page MenuHomeSoftware Heritage

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

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



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

Diff Detail

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

Event Timeline

lewo created this revision.Mon, Mar 9, 5:39 PM

I refrained from doing it for 5 years ;)

ardumont accepted this revision as: ardumont.Mon, Mar 9, 6:13 PM
This revision is now accepted and ready to land.Mon, Mar 9, 6:13 PM
ardumont added a subscriber: seirl.Mon, Mar 9, 6:14 PM
vlorentz accepted this revision.Tue, Mar 10, 10:36 AM
olasd accepted this revision.Tue, Mar 10, 11:30 AM

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

lewo updated this revision to Diff 10149.EditedThu, Mar 19, 9:53 AM

Rebased on master

This revision was automatically updated to reflect the committed changes.