]> git.codecow.com Git - Monocypher.git/commit
Fix /bin/env vs /usr/bin/env vs nothing
authorLoup Vaillant <loup@loup-vaillant.fr>
Tue, 29 Aug 2023 09:12:01 +0000 (11:12 +0200)
committerLoup Vaillant <loup@loup-vaillant.fr>
Tue, 29 Aug 2023 09:12:01 +0000 (11:12 +0200)
commit03fbc677d9912c49b7e363d69523cd4269eead6a
tree20888e2b42e7b2db9e473582e328bbeafe9593df
parent91092311edf223a145a62e78f1e7dde0120702fa
Fix /bin/env vs /usr/bin/env vs nothing

There's no such thing as /bin/env, though I let that slip by because my
distro redirects /bin to /usr/bin.

I believe "#! /bin/sh" is even more standard that "#! /usr/bin/env sh",
and that's what I used everywhere anyway.
change-prefix.sh
doc/doc_check.py