## ELinks 0.13.GIT configuration file ## mime # MIME-related options (handlers of various MIME types). ## mime.extension # Extension <-> MIME type association. ## mime.extension.mp4 # MIME-type matching this file extension ('*' is used here in place of # '.'). set mime.extension.mp4 = "video/mp4" ## mime.extension.webm # MIME-type matching this file extension ('*' is used here in place of # '.'). set mime.extension.webm = "video/webm" ## mime.extension.ogg # MIME-type matching this file extension ('*' is used here in place of # '.'). set mime.extension.ogg = "video/ogg" ## mime.extension.3gp # MIME-type matching this file extension ('*' is used here in place of # '.'). set mime.extension.3gp = "video/3gp" ## mime.handler # A file type handler is a set of information about how to use an external # program to view a file. It is possible to refer to it for several MIME # types -- e.g., you can define an 'image' handler to which # mime.type.image.png, mime.type.image.jpeg, and so on will refer; or one # might define a handler for a more specific type of file -- e.g., PDF files. # Note you must define both a MIME handler and a MIME type association for it # to work. ## mime.handler.video_player ## mime.handler.video_player.unix ## mime.handler.video_player.unix.ask [0|1] set mime.handler.video_player.unix.ask = 0 ## mime.handler.video_player.unix.block [0|1] set mime.handler.video_player.unix.block = 1 ## mime.handler.video_player.unix.program set mime.handler.video_player.unix.program = "vlc -V aa %" ## mime.handler.video_player.unix-xwin ## mime.handler.video_player.unix-xwin.ask [0|1] set mime.handler.video_player.unix-xwin.ask = 0 ## mime.handler.video_player.unix-xwin.block [0|1] set mime.handler.video_player.unix-xwin.block = 0 ## mime.handler.video_player.unix-xwin.program set mime.handler.video_player.unix-xwin.program = "vlc -V aa %" ## mime.type # Handler <-> MIME type association. The first sub-tree is the MIME class # while the second sub-tree is the MIME type (ie. image/gif handler will # reside at mime.type.image.gif). Each MIME type option should contain # (case-sensitive) name of the MIME handler (its properties are stored at # mime.handler.). ## mime.type.video ## mime.type.video.mp4 set mime.type.video.mp4 = "video_player" ## mime.type.video.webm set mime.type.video.webm = "video_player" ## mime.type.video.ogg set mime.type.video.ogg = "video_player" ## mime.type.video.3gp set mime.type.video.3gp = "video_player"