Skip to content

Pipes and Redirection #15

Open
Open
@jorinvo

Description

@jorinvo

We already have some chapters prepared for our game to teach about pipes | and redirection< / >.

This can be implemented in a generic way in the .run() system method.

The command interface is already designed in a way to allow streaming of input and output.

  • |
  • <
  • >
  • >>

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions