New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add CLI functionality for a given runtime #115

Open

tertsdiepraam wants to merge 1 commit into main from cli

+105 −26

Contributor

tertsdiepraam commented Feb 28, 2025 •

edited

Loading

Closes #107

Creates a CLI like this:

strongly-typed, compiled language for Rotonda

Usage: roto <COMMAND>

Commands:
  doc    Generate documentation for the runtime
  check  Type check a script
  test   Test a script
  run    Run a script
  help   Print this message or the help of the given subcommand(s)

Options:
  -h, --help     Print help
  -V, --version  Print version


          add CLI functionality for a given runtime

tertsdiepraam force-pushed the cli branch from b9483bb to 4698233 Compare

February 28, 2025 16:02

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet