From ca44613693732f925bb60419342e9a62e4ddf000 Mon Sep 17 00:00:00 2001 From: Omar Polo Date: Fri, 8 Apr 2022 14:19:58 +0000 Subject: [PATCH] tweaks --- site/faq.gmi | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/site/faq.gmi b/site/faq.gmi index 4c8048b..b73ed30 100644 --- a/site/faq.gmi +++ b/site/faq.gmi @@ -4,7 +4,7 @@ Just drop an email to or open a GitHub issue/pull request. -When reporting a bug please include the relevant information to reproduce the issue you're facing: your configuration file, the gmid version, your distro version at least. +When reporting a bug please include the relevant information to reproduce the issue you're facing: your configuration file, the gmid version, and your distro. ## How can I define the right MIME types for my files? @@ -13,6 +13,8 @@ gmid, like many other servers, uses a list of known file extensions to decide wh ``` example of how to use the type rule in the configuration file types { + text/gemini gemini gmi + application/postscript ps eps ai application/rss+xml rss