Stream: git-wasmtime

Topic: wasmtime / PR #5618 Notify wasmtime install is local not ...


view this post on Zulip Wasmtime GitHub notifications bot (Jan 22 2023 at 15:39):

guest271314 opened PR #5618 from guest271314-patch-1 to main:

I don't think an issue is needed for this. Just a brief notice that the install script install wasmtime locally, not system wide.

Why

This won't work when executed as a standalone script outside of a local terminal

#!/usr/bin/env wasmtime ...

because

$ sudo su
# wasmtime --help
wasmtime: command not found

view this post on Zulip Wasmtime GitHub notifications bot (Jan 23 2023 at 15:13):

alexcrichton submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 23 2023 at 15:14):

alexcrichton merged PR #5618.


Last updated: Dec 23 2024 at 12:05 UTC