#![cfg_attr(coverage_nightly, coverage(off))]
use super::CommandDispatcher;
use crate::cli::handlers;
use std::path::PathBuf;
impl CommandDispatcher {
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "path_exists")]
pub(crate) async fn execute_config_command(
show: bool,
edit: bool,
validate: bool,
reset: bool,
section: Option<String>,
set: Option<Vec<String>>,
config_path: Option<PathBuf>,
) -> anyhow::Result<()> {
handlers::handle_configuration(
show,
edit,
validate,
reset,
section,
set.unwrap_or_default(),
config_path,
)
.await
}
}