rust/rhg/src/main.rs
changeset 49481 a0d189b2e871
parent 49477 f3cd2d6eeef9
child 49484 85f5d11c77dd
equal deleted inserted replaced
49480:0199712c7a6d 49481:a0d189b2e871
   675 }
   675 }
   676 
   676 
   677 /// The `*` extension is an edge-case for config sub-options that apply to all
   677 /// The `*` extension is an edge-case for config sub-options that apply to all
   678 /// extensions. For now, only `:required` exists, but that may change in the
   678 /// extensions. For now, only `:required` exists, but that may change in the
   679 /// future.
   679 /// future.
   680 const SUPPORTED_EXTENSIONS: &[&[u8]] =
   680 const SUPPORTED_EXTENSIONS: &[&[u8]] = &[
   681     &[b"blackbox", b"share", b"sparse", b"narrow", b"*"];
   681     b"blackbox",
       
   682     b"share",
       
   683     b"sparse",
       
   684     b"narrow",
       
   685     b"*",
       
   686     b"strip",
       
   687     b"rebase",
       
   688 ];
   682 
   689 
   683 fn check_extensions(config: &Config) -> Result<(), CommandError> {
   690 fn check_extensions(config: &Config) -> Result<(), CommandError> {
   684     if let Some(b"*") = config.get(b"rhg", b"ignored-extensions") {
   691     if let Some(b"*") = config.get(b"rhg", b"ignored-extensions") {
   685         // All extensions are to be ignored, nothing to do here
   692         // All extensions are to be ignored, nothing to do here
   686         return Ok(());
   693         return Ok(());