diff -r 1bac7764ceef -r 1a036d33bc18 rust/rhg/src/main.rs --- 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", ") ), })