From faa58d1d699ac8c7180c70dc8b25370fa2442ef1 Mon Sep 17 00:00:00 2001 From: Andrew Hamilton Date: Sat, 25 Dec 2021 15:07:24 +1000 Subject: [PATCH] tools: Add jpeg alternative to jpg extension. --- eris/eris/tools.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eris/eris/tools.toml b/eris/eris/tools.toml index eaff776..e56f1c3 100644 --- a/eris/eris/tools.toml +++ b/eris/eris/tools.toml @@ -32,7 +32,7 @@ tools_for_extensions = [ [["so"], ["nm"]], [["deb"], ["dpkg_contents", "dpkg_info"]], [["rpm"], ["rpm"]], - [["png", "jpg", "gif", "bmp", "tif", "tiff", "tga", "ico", "xpm"], ["mediainfo", "pil"]], + [["png", "jpg", "jpeg", "gif", "bmp", "tif", "tiff", "tga", "ico", "xpm"], ["mediainfo", "pil"]], [["svg", "svgz"], ["cairosvg"]], [["mkv", "mka", "mks", "ogg", "ogm", "avi", "wav", "mpeg", "mpg", "vob", "mp4", "mpgv", "mpv", "m1v", "m2v", "mp2", "mp3", "asf", "wma", "wmv",