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
Branch
master
Lint
No Linters Available
Unit
No Unit Test Coverage
Build Status
Buildable 11006
Build 16569: arc lint + arc unit

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.