From 909768cd08b6f25923c248b02e6cf2d15caeab00 Mon Sep 17 00:00:00 2001
From: Fontrodona Nicolas <nicolas.fontrodona@ens-lyon.fr>
Date: Tue, 14 Feb 2023 14:42:09 +0100
Subject: [PATCH] src/configt.rs: change of some user message
---
src/configt.rs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/configt.rs b/src/configt.rs
index c3221f4..bb55a6e 100644
--- a/src/configt.rs
+++ b/src/configt.rs
@@ -146,7 +146,7 @@ pub fn show(global: bool) -> () {
"{} {} {}",
"No".yellow(),
kind.green(),
- "configuration defined".yellow()
+ "pruning options defined".yellow()
);
exit(0);
}
@@ -460,7 +460,7 @@ pub(crate) fn launch_config_prune(config_prune: PartialPrune) {
let gblk_config = parse_local_or_global_config();
if gblk_config.empty() {
eprintln!(
- "{} No global and local configuration defined for pruning!",
+ "{} No global and local options defined for pruning!",
"error:".red()
);
exit(104);
--
GitLab