I think this is a possible mplayer patch:
diff --git a/bash_completion b/bash_completion
index 7518ad9..94e81aa 100644
--- a/bash_completion
+++ b/bash_completion
@@ -5838,7 +5838,7 @@ _mplayer()
return 0
;;
-audiofile)
- _filedir
'@(mp3|MP3|mpg|MPG|ogg|OGG|w?(a)v|W?(A)V|mid|MID|flac|FLAC|mka|MKA)'
+ _filedir
'@(mp3|MP3|mpg|MPG|ogg|OGG|oga|OGA|ogv|OGV|w?(a)v|W?(A)V|mid|MID|flac|FLAC|mka|MKA)'
return 0
;;
-font)
--
.oga/.ogv extensions should be auto-completed for media players in command line
https://bugs.launchpad.net/bugs/311525
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
