diff options
author | sharkdp <davidpeter@web.de> | 2018-05-08 22:29:50 +0200 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2018-05-08 22:57:29 +0200 |
commit | f7af53701896cf672bcec10bfd7aadccceed0fa3 (patch) | |
tree | 585364b1e718d5f422ce50f45460bbf1fa08752a | |
parent | fd68af80310938fe564e1b55f2cc1ee44577aa13 (diff) |
Filter out languages without extensions
-rw-r--r-- | src/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main.rs b/src/main.rs index befdde92..227c75a5 100644 --- a/src/main.rs +++ b/src/main.rs @@ -571,14 +571,14 @@ fn run() -> Result<()> { let longest = languages .iter() - .filter(|s| !s.hidden) + .filter(|s| !s.hidden && s.file_extensions.len() > 0) .map(|s| s.name.len()) .max() .unwrap_or(32); // Fallback width if they have no language definitions. let separator = " "; for lang in languages { - if lang.hidden { + if lang.hidden || lang.file_extensions.len() == 0 { continue; } print!("{:width$}{}", lang.name, separator, width = longest); |