--- 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", ")
),
})