From 1220ec3852d17b203bb91b14481f6a66304d5316 Mon Sep 17 00:00:00 2001 From: Andrew Hlynskyi Date: Wed, 23 Jun 2021 10:58:01 +0300 Subject: [PATCH] feat(cli): Rename web-ui -> playground with fallback alias --- cli/src/main.rs | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/cli/src/main.rs b/cli/src/main.rs index c0615d9a..6334d916 100644 --- a/cli/src/main.rs +++ b/cli/src/main.rs @@ -169,8 +169,11 @@ fn run() -> Result<()> { .arg(Arg::with_name("path").index(1).multiple(true)), ) .subcommand( - SubCommand::with_name("web-ui") - .about("Test a parser interactively in the browser") + SubCommand::with_name("playground") + .alias("play") + .alias("pg") + .alias("web-ui") + .about("Start local playground for a parser in the browser") .arg( Arg::with_name("quiet") .long("quiet") @@ -437,7 +440,7 @@ fn run() -> Result<()> { wasm::compile_language_to_wasm(&grammar_path, matches.is_present("docker"))?; } - ("web-ui", Some(matches)) => { + ("playground", Some(matches)) => { let open_in_browser = !matches.is_present("quiet"); web_ui::serve(¤t_dir, open_in_browser); }