diff --git a/cozo-bin/src/repl.rs b/cozo-bin/src/repl.rs index 615049c2..ff26951e 100644 --- a/cozo-bin/src/repl.rs +++ b/cozo-bin/src/repl.rs @@ -64,12 +64,12 @@ impl rustyline::validate::Validator for Indented { #[derive(Args, Debug)] pub(crate) struct ReplArgs { - /// Database engine, can be `mem`, `sqlite`, `rocksdb` and others. + /// Database engine, can be `mem (default)`, `sqlite`, `rocksdb` and others. #[clap(short, long, default_value_t = String::from("mem"))] engine: String, /// Path to the directory to store the database - #[clap(short, long, default_value_t = String::from("cozo.db"))] + #[clap(short, long, default_value_t = String::from("fbase.db"))] path: String, /// Extra config in JSON format @@ -100,8 +100,8 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box> { .expect("Error setting Ctrl-C handler"); println!("Welcome to the fluidB REPL"); - println!("Type a space followed by newline to enter multiline mode."); - println!("Press 'Ctrl-C' for exit."); + println!("Type a space followed by newline to enter multiline mode"); + println!("Press 'Ctrl-C' for exit"); let mut exit = false; let mut rl = rustyline::Editor::::new()?; @@ -130,7 +130,7 @@ pub(crate) fn repl_main(args: ReplArgs) -> Result<(), Box> { if exit { break; } else { - println!("Press 'Ctrl-C again to exit"); + println!("Press 'Ctrl-C' again to exit"); exit = true; } }