plumber

commit 71bdea8e7bbb7bf427d877a6603f33384c616da2
parent c6d9c3fbe01c9efe930dfb698e6cdebcaf47450a
Author: Christoph Lohmann <20h@r-36.net>
Date:   Thu, 31 Dec 2020 01:18:42 +0100

Update plumber with mp4.

Thanks IanJ!

Diffstat:
bin/plumber
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/bin/plumber b/bin/plumber
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3.7
 # coding=utf-8
 #
 # Copy me if you can.
@@ -27,7 +27,7 @@ plumbrules = [
 	["^.*://.*\.(pdf|PDF)$", "pdfopener '%s'"],
 	["^gopher://.*\.(txt|TXT|patch|PATCH|diff|DIFF)$", "textgopheropener '%s'"],
 	["^.*://.*\.(txt|TXT|patch|PATCH|diff|DIFF)$", "textwebopener '%s'"],
-	["^.*://.*\.(mp3|MP3|FLAC|flac|ogg|OGG|m3u|M3U|m3u8|M3U8|flv|FLV|opus|OPUS|mov|MOV|mkv|MKV)$",\
+	["^.*://.*\.(mpg|MPG|mp3|MP3|mp4|MP4|FLAC|flac|ogg|OGG|m3u|M3U|m3u8|M3U8|flv|FLV|webm|WEBM|opus|OPUS|mov|MOV|mkv|MKV|ogv|OGV)$",\
 			"mediaopener '%s'"],
 	["^dvb://.*", "tvopener '%s'"],
 	["^geo:.*", "geoopener '%s'"],