swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

fix .ext

Browse source
This commit is contained in:
Swrup 2025-09-28 19:53:53 +02:00
parent 06332cac8c
commit 37b5dd7216
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/util.ml
View file

@ -2,15 +2,15 @@
markdown mimetype should be the prefered one, and be supported, according to DD markdown mimetype should be the prefered one, and be supported, according to DD
we take text/plain as default instead for now *) we take text/plain as default instead for now *)
let default_mimetype = ("text", "plain") let default_mimetype = ("text", "plain")
let default_extension = "txt" let default_extension = ".txt"
let mimetype_ext_assoc = let mimetype_ext_assoc =
[ [
(("text", "plain"), "txt"); (("text", "markdown"), "md") (("text", "plain"), ".txt"); (("text", "markdown"), ".md")
; (("text", "html"), "html"); (("text", "html"), "htm") ; (("text", "html"), ".html"); (("text", "html"), ".htm")
; (("application", "pdf"), "pdf"); (("image", "jpeg"), "jpg") ; (("application", "pdf"), ".pdf"); (("image", "jpeg"), ".jpg")
; (("image", "jpeg"), "jpeg"); (("image", "png"), "png") ; (("image", "jpeg"), ".jpeg"); (("image", "png"), ".png")
; (("image", "gif"), "gif") ; (("image", "gif"), ".gif")
] ]
(* <> than the actual set of "supported" extension (which depends on config files) *) (* <> than the actual set of "supported" extension (which depends on config files) *)