From 37b5dd721608e710677d2fd0aa45faba92c01ef9 Mon Sep 17 00:00:00 2001 From: Swrup Date: Sun, 28 Sep 2025 19:53:53 +0200 Subject: [PATCH] fix .ext --- src/util.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/util.ml b/src/util.ml index d9ea04d5..07029492 100644 --- a/src/util.ml +++ b/src/util.ml @@ -2,15 +2,15 @@ markdown mimetype should be the prefered one, and be supported, according to DD we take text/plain as default instead for now *) let default_mimetype = ("text", "plain") -let default_extension = "txt" +let default_extension = ".txt" let mimetype_ext_assoc = [ - (("text", "plain"), "txt"); (("text", "markdown"), "md") - ; (("text", "html"), "html"); (("text", "html"), "htm") - ; (("application", "pdf"), "pdf"); (("image", "jpeg"), "jpg") - ; (("image", "jpeg"), "jpeg"); (("image", "png"), "png") - ; (("image", "gif"), "gif") + (("text", "plain"), ".txt"); (("text", "markdown"), ".md") + ; (("text", "html"), ".html"); (("text", "html"), ".htm") + ; (("application", "pdf"), ".pdf"); (("image", "jpeg"), ".jpg") + ; (("image", "jpeg"), ".jpeg"); (("image", "png"), ".png") + ; (("image", "gif"), ".gif") ] (* <> than the actual set of "supported" extension (which depends on config files) *)