Shell mode

Validated recording for these source inputs.

• Source and dependencies

• Cast file

• Provenance

Record this example

python scripts/record.py shellmode

Source

using Replay

instructions = [
    ";echo hello",
    CTRL_C,
    "println(\"Hello\")",
]

replay(instructions, use_ghostwriter=true)