rems-project / cn-tutorial

8 stars 9 forks source link

change to usr/bin/env #12

Closed scuellar closed 5 months ago

scuellar commented 5 months ago

As far as I know /usr/bin/env is the more common location for bash and recommended for portability.

By default OSX has /usr/bin/env and does not have bin/env or a symbolic link from /bin/env. After 9bead3f8c78da1c56b8e9e16e3fb20b053d3c4d4 calling src/example-archive/check.sh will fail with

/bin/env: bad interpreter: No such file or directory
scuellar commented 5 months ago

@cp526 and @dc-mak could I ask you to check that this still works on your machines, before I commit? I think you two made the original edits that I'm changing.

cp526 commented 5 months ago

Thanks! I just checked, #!/usr/bin/env bash seems to work on my (Mac) machine.

septract commented 5 months ago

@dc-mak can you confirm so that @scuellar can merge this?

dc-mak commented 5 months ago

Sorry, I didn't clock the action request. #!/usr/bin/env bash works (and thank you, in general very good practice afaiu from the Nix community).