Robot
/
bat
mirror of https://github.com/sharkdp/bat.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix unwrap error

This commit is contained in:
sharkdp 2020-09-20 19:54:05 +02:00
parent f18009e5d5
commit f84aceec3d
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/bin/bat/main.rs
View File

@ -100,8 +100,10 @@ pub fn list_languages(config: &Config) -> Result<()> {
true
} else {
let test_file = Path::new("test").with_extension(extension);
let syntax = assets.syntax_for_file_name(test_file, &config.syntax_mapping).unwrap();
syntax.name == lang_name
match assets.syntax_for_file_name(test_file, &config.syntax_mapping) {
Some(syntax) => syntax.name == lang_name,
None => false,
}
}
});
}