Use command shortcuts in Lean CLI
masterThe Lean CLI allows you to use unambiguous prefixes to save typing. For example, lean clo back is equivalent to lean cloud backtest.
Warning: While shortcuts are useful for interactive terminal use, you should always use the full command names in scripts to prevent breakage if new commands are added that share the same prefix.