tools: Added mediainfo tool for many media file types.

This commit is contained in:
Andrew Hamilton 2018-06-02 10:15:22 +10:00
parent 73d06e6ff8
commit 7c2227f209
2 changed files with 14 additions and 2 deletions

View file

@ -22,7 +22,12 @@ tools_for_extensions = [
[["bash", "sh", "dash", "ksh"], ["shellcheck"]],
[["go"], ["gofmt", "go_vet", "golint", "godoc"]],
[["yaml", "yml"], ["yamllint"]],
[["md", "epub", "docx", "odt", "rst"], ["pandoc"]]]
[["md", "epub", "docx", "odt", "rst"], ["pandoc"]],
[["mkv", "mka", "mks", "ogg", "ogm", "avi", "wav", "mpeg", "mpg", "vob",
"mp4", "mpgv", "mpv", "m1v", "m2v", "mp2", "mp3", "asf", "wma", "wmv",
"qt", "mov", "rm", "rmvb", "ra", "ifo", "ac3", "dts", "aac", "flac",
"aiff", "aifc", "au", "iff"], ["mediainfo"]],
]
# Tool template:
@ -140,3 +145,9 @@ tools_for_extensions = [
dependencies = ["yamllint"]
url = "yamllint"
command = "yamllint"
[mediainfo]
dependencies = ["mediainfo"]
url = "mediainfo"
command = "mediainfo"
success_status = "normal"