Stream: git-wasmtime

Topic: wasmtime / PR #10653 fix(docs): remove $ from console com...

Wasmtime GitHub notifications bot (Apr 23 2025 at 16:56):

vados-cosmonic opened PR #10653 from vados-cosmonic:fix(docs)=remove-dollar-signs-from-console-commands to bytecodealliance:main:

This came up during the recent --invoke blog post PR, but IMO it would be better if the documentation made it easy to copy-paste commands rather than including $ in command-only blocks.

This PR does a couple things to make docs a bit easier to use:

• Switch from sh to console for console commands
• Remove $ from console commands that do not also have output

Generally, console commands that are standalone should be easy to copy and paste.

This PR doesn't make the changes everywhere in the docs, but that can be handled in follow-ups.

Wasmtime GitHub notifications bot (Apr 23 2025 at 16:56):

vados-cosmonic requested cfallin for a review on PR #10653.

Wasmtime GitHub notifications bot (Apr 23 2025 at 16:56):

vados-cosmonic requested wasmtime-default-reviewers for a review on PR #10653.

Wasmtime GitHub notifications bot (Apr 23 2025 at 18:45):

pchickey submitted PR review.

Wasmtime GitHub notifications bot (Apr 23 2025 at 19:07):

vados-cosmonic updated PR #10653.

Wasmtime GitHub notifications bot (Apr 23 2025 at 19:08):

vados-cosmonic commented on PR #10653:

hey @pchickey I think it had a bad time with just a plain block (the Options: bit) -- changed it to console

Wasmtime GitHub notifications bot (Apr 23 2025 at 19:08):

pchickey has enabled auto merge for PR #10653.

Wasmtime GitHub notifications bot (Apr 23 2025 at 19:42):

pchickey merged PR #10653.

Last updated: Dec 06 2025 at 07:03 UTC