diff options
| author | Omar Polo <op@omarpolo.com> | 2022-04-08 14:19:58 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2022-04-08 14:19:58 +0000 |
| commit | ca44613693732f925bb60419342e9a62e4ddf000 (patch) | |
| tree | ab3ea377929167d1294eecb242246dd9ebe209bd | |
| parent | 5eb842cd1fe524b062d059e675342a0ce29767a4 (diff) | |
tweaks
| -rw-r--r-- | site/faq.gmi | 4 |
1 files changed, 3 insertions, 1 deletions
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 <gmid [at] omarpolo [dot] com> 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 |