From 0121c938918f053c5f14ff003d8d832855ed7645 Mon Sep 17 00:00:00 2001 From: Grigorii Safronov Date: Sun, 8 Sep 2024 11:25:35 +0000 Subject: [PATCH] =?UTF-8?q?=D0=98=D0=B7=D0=BC=D0=B5=D0=BD=D0=B8=D0=BB(?= =?UTF-8?q?=D0=B0)=20=D0=BD=D0=B0=20'cozo-bin/src/repl.rs'?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- cozo-bin/src/repl.rs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) 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; } }