rust/rhg/src/main.rs
changeset 46734 1a036d33bc18
parent 46733 1bac7764ceef
child 46736 2255e7eb39e5
--- a/rust/rhg/src/main.rs	Thu Mar 04 10:58:43 2021 +0100
+++ b/rust/rhg/src/main.rs	Fri Mar 12 22:38:40 2021 +0100
@@ -365,12 +365,20 @@
         unsupported.remove(supported);
     }
 
+    if let Some(ignored_list) =
+        config.get_simple_list(b"rhg", b"ignored-extensions")
+    {
+        for ignored in ignored_list {
+            unsupported.remove(ignored);
+        }
+    }
+
     if unsupported.is_empty() {
         Ok(())
     } else {
         Err(CommandError::UnsupportedFeature {
             message: format_bytes!(
-                b"extensions: {}",
+                b"extensions: {} (consider adding them to 'rhg.ignored-extensions' config)",
                 join(unsupported, b", ")
             ),
         })