commit 72594508ec982d0d04f6cfb5d8ed19d3c55d363f
parent a63c3adbe5d8959632edcb777dc1e7ca5aaf0404
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Sat, 23 May 2020 20:13:32 +0200
Open gifv in browser
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.local/bin/plumb b/.local/bin/plumb
@@ -186,7 +186,7 @@ handle_target() {
t="gopher://${host}:${port}/${type}${path}"
fi
- if regeximatch "$t" '\.(mp4|mkv|webm|avi|ogv|gifv)$'; then
+ if regeximatch "$t" '\.(mp4|mkv|webm|avi|ogv)$'; then
detach mpv "$(fetch "$t")"
elif regeximatch "$t" '^radio://'; then
mpv "http${t##radio}"