Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fetch-python.sh: no /bin/env #52

Closed
yarko opened this issue Jan 24, 2022 · 4 comments · Fixed by #54
Closed

fetch-python.sh: no /bin/env #52

yarko opened this issue Jan 24, 2022 · 4 comments · Fixed by #54

Comments

@yarko
Copy link

yarko commented Jan 24, 2022 •
edited

Ubuntu 20.04 - there is no /bin/env --- it's /usr/bin/env

This applies to all *.sh files in this repo.
@ethanhs
Copy link
Owner

ethanhs commented Jan 24, 2022

I am running stock Ubuntu 20.04 desktop and server on several machines and they all seem to have /bin/env. Are you running a derivative?

@ethanhs
Copy link
Owner

ethanhs commented Jan 24, 2022

It seems though that /usr/bin/env is the POSIX spec, so we should probably switch to that anyway, thanks for the report!

@yarko
Copy link
Author

yarko commented Jan 24, 2022

my desktop is an long-time-ago install (updated regularly); my laptop I reinstalled recently - it has (indeed) both /bin/env and /usr/bin/env ...

tiran added a commit to tiran/python-wasm that referenced this issue Jan 24, 2022
@tiran
Use /usr/bin/env
13fb486 
Fixes: ethanhs#52
Signed-off-by: Christian Heimes <christian@python.org>
@tiran tiran mentioned this issue Jan 24, 2022
Merged
@tiran tiran closed this as completed in #54 Jan 24, 2022
tiran added a commit that referenced this issue Jan 24, 2022
@tiran
Use /usr/bin/env (#54)
677122a 
Fixes: #52
@ethanhs
Copy link
Owner

ethanhs commented Jan 24, 2022

Strange! Well thanks for reporting :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Use /usr/bin/env tiran/python-wasm
2 participants
@yarko @ethanhs