rust/rhg/src/main.rs
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()