changeset 48972 | 6b31c0676147 |
parent 48770 | f19be290756a |
child 48985 | c75dae6e4ca7 |
--- a/rust/rhg/src/main.rs Thu Mar 17 12:27:40 2022 +0100 +++ b/rust/rhg/src/main.rs Fri Mar 18 17:39:06 2022 +0100 @@ -643,6 +643,11 @@ &[b"blackbox", b"share", b"sparse", b"narrow", b"*"]; fn check_extensions(config: &Config) -> Result<(), CommandError> { + if let Some(b"*") = config.get(b"rhg", b"ignored-extensions") { + // All extensions are to be ignored, nothing to do here + return Ok(()); + } + let enabled: HashSet<&[u8]> = config .get_section_keys(b"extensions") .into_iter()