Stream: git-wasmtime

Topic: wasmtime / PR #11329 Notify new terminal needs to be open...

Wasmtime GitHub notifications bot (Jul 27 2025 at 05:02):

hashimoto-kei opened PR #11329 from hashimoto-kei:hashimoto-kei-patch-1 to bytecodealliance:main:

I don't think an issue is needed for this. Just a brief notice that a new terminal needs to be opened after wastime installation.

Why

wasmtime cannot be executed unless user profile is reloaded.

$ curl https://wasmtime.dev/install.sh -sSf | bash
$ wastime -V
zsh: command not found: wasmtime

Wasmtime GitHub notifications bot (Jul 27 2025 at 05:02):

hashimoto-kei requested cfallin for a review on PR #11329.

Wasmtime GitHub notifications bot (Jul 27 2025 at 05:02):

hashimoto-kei requested wasmtime-default-reviewers for a review on PR #11329.

Wasmtime GitHub notifications bot (Jul 27 2025 at 05:04):

hashimoto-kei edited PR #11329:

I don't think an issue is needed for this. Just a brief notice that a new terminal needs to be opened after wastime installation.

Why

wasmtime cannot be executed unless user profile is reloaded.

$ curl https://wasmtime.dev/install.sh -sSf | bash
$ wasmtime -V
zsh: command not found: wasmtime

Wasmtime GitHub notifications bot (Jul 28 2025 at 17:16):

pchickey submitted PR review:

I don't think this is good advice - its only required to open a new terminal (or exec $SHELL or any other number of more shell-specific ways to reload the profile) if the install script needed to create the install dir (defaults to ~/.wasmtime) and add it to path. I think a better approach to this problem would be for the install update_profile sub to print instructions when adding to the profile that the user needs to exec $SHELL for wasmtime to be in their path. (The install script cannot do this on the users behalf.)

Wasmtime GitHub notifications bot (Jul 28 2025 at 17:31):

bjorn3 commented on PR #11329:

The rustup installer suggest source ~/.bashrc and similar for other shells.

Wasmtime GitHub notifications bot (Jul 28 2025 at 17:31):

bjorn3 edited a comment on PR #11329:

The rustup installer suggest running source ~/.bashrc and similar for other shells.

Wasmtime GitHub notifications bot (Aug 03 2025 at 09:53):

hashimoto-kei closed without merge PR #11329.

Wasmtime GitHub notifications bot (Aug 03 2025 at 10:11):

hashimoto-kei updated PR #11329.

Wasmtime GitHub notifications bot (Aug 03 2025 at 10:11):

hashimoto-kei reopened PR #11329.

Wasmtime GitHub notifications bot (Aug 03 2025 at 11:18):

hashimoto-kei updated PR #11329.

Last updated: Dec 06 2025 at 06:05 UTC