update mime types

kbertalan · May 4, 2024 · 6c6ff58 · 6c6ff58
1 parent ef757df
commit 6c6ff58
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 5 deletions.
diff --git a/generator/checkDiff.sh b/generator/checkDiff.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#!/usr/bin/env sh
 
 generatedFile=generator/NewTypes.idr
 

diff --git a/generator/generate.sh b/generator/generate.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 
 mkdir -p src/Data/Mime/Apache
 output=$1

diff --git a/src/Data/Mime/Apache/Raw.idr b/src/Data/Mime/Apache/Raw.idr
@@ -2290,6 +2290,10 @@ export
 APPLICATION_VND_DOT_GEOGEBRA_DOT_FILE : Mime
 APPLICATION_VND_DOT_GEOGEBRA_DOT_FILE = MkMime Application "vnd.geogebra.file" ["ggb"]
 
+export
+APPLICATION_VND_DOT_GEOGEBRA_DOT_SLIDES : Mime
+APPLICATION_VND_DOT_GEOGEBRA_DOT_SLIDES = MkMime Application "vnd.geogebra.slides" ["ggs"]
+
 export
 APPLICATION_VND_DOT_GEOGEBRA_DOT_TOOL : Mime
 APPLICATION_VND_DOT_GEOGEBRA_DOT_TOOL = MkMime Application "vnd.geogebra.tool" ["ggt"]
@@ -4798,6 +4802,10 @@ export
 APPLICATION_VQ_RTCPXR : Mime
 APPLICATION_VQ_RTCPXR = MkMime Application "vq-rtcpxr" []
 
+export
+APPLICATION_WASM : Mime
+APPLICATION_WASM = MkMime Application "wasm" ["wasm"]
+
 export
 APPLICATION_WATCHERINFO_PLUS_XML : Mime
 APPLICATION_WATCHERINFO_PLUS_XML = MkMime Application "watcherinfo+xml" []
@@ -6524,7 +6532,7 @@ MODEL_VND_DOT_MOML_PLUS_XML = MkMime Model "vnd.moml+xml" []
 
 export
 MODEL_VND_DOT_MTS : Mime
-MODEL_VND_DOT_MTS = MkMime Model "vnd.mts" ["mts"]
+MODEL_VND_DOT_MTS = MkMime Model "vnd.mts" []
 
 export
 MODEL_VND_DOT_OPENGEX : Mime
@@ -7080,7 +7088,7 @@ VIDEO_MP2P = MkMime Video "mp2p" []
 
 export
 VIDEO_MP2T : Mime
-VIDEO_MP2T = MkMime Video "mp2t" []
+VIDEO_MP2T = MkMime Video "mp2t" ["ts", "m2t", "m2ts", "mts"]
 
 export
 VIDEO_MP4 : Mime
@@ -7937,6 +7945,7 @@ mimes =
   , APPLICATION_VND_DOT_GEO_PLUS_JSON
   , APPLICATION_VND_DOT_GEOCUBE_PLUS_XML
   , APPLICATION_VND_DOT_GEOGEBRA_DOT_FILE
+  , APPLICATION_VND_DOT_GEOGEBRA_DOT_SLIDES
   , APPLICATION_VND_DOT_GEOGEBRA_DOT_TOOL
   , APPLICATION_VND_DOT_GEOMETRY_EXPLORER
   , APPLICATION_VND_DOT_GEONEXT
@@ -8564,6 +8573,7 @@ mimes =
   , APPLICATION_VND_DOT_ZZAZZ_DOT_DECK_PLUS_XML
   , APPLICATION_VOICEXML_PLUS_XML
   , APPLICATION_VQ_RTCPXR
+  , APPLICATION_WASM
   , APPLICATION_WATCHERINFO_PLUS_XML
   , APPLICATION_WHOISPP_QUERY
   , APPLICATION_WHOISPP_RESPONSE
@@ -9456,6 +9466,7 @@ extensions =
   , ("fzs", APPLICATION_VND_DOT_FUZZYSHEET)
   , ("txd", APPLICATION_VND_DOT_GENOMATIX_DOT_TUXEDO)
   , ("ggb", APPLICATION_VND_DOT_GEOGEBRA_DOT_FILE)
+  , ("ggs", APPLICATION_VND_DOT_GEOGEBRA_DOT_SLIDES)
   , ("ggt", APPLICATION_VND_DOT_GEOGEBRA_DOT_TOOL)
   , ("gex", APPLICATION_VND_DOT_GEOMETRY_EXPLORER)
   , ("gre", APPLICATION_VND_DOT_GEOMETRY_EXPLORER)
@@ -9760,6 +9771,7 @@ extensions =
   , ("zirz", APPLICATION_VND_DOT_ZUL)
   , ("zaz", APPLICATION_VND_DOT_ZZAZZ_DOT_DECK_PLUS_XML)
   , ("vxml", APPLICATION_VOICEXML_PLUS_XML)
+  , ("wasm", APPLICATION_WASM)
   , ("wgt", APPLICATION_WIDGET)
   , ("hlp", APPLICATION_WINHLP)
   , ("wsdl", APPLICATION_WSDL_PLUS_XML)
@@ -10058,7 +10070,6 @@ extensions =
   , ("dwf", MODEL_VND_DOT_DWF)
   , ("gdl", MODEL_VND_DOT_GDL)
   , ("gtw", MODEL_VND_DOT_GTW)
-  , ("mts", MODEL_VND_DOT_MTS)
   , ("vtu", MODEL_VND_DOT_VTU)
   , ("wrl", MODEL_VRML)
   , ("vrml", MODEL_VRML)
@@ -10147,6 +10158,10 @@ extensions =
   , ("jpgm", VIDEO_JPM)
   , ("mj2", VIDEO_MJ2)
   , ("mjp2", VIDEO_MJ2)
+  , ("ts", VIDEO_MP2T)
+  , ("m2t", VIDEO_MP2T)
+  , ("m2ts", VIDEO_MP2T)
+  , ("mts", VIDEO_MP2T)
   , ("mp4", VIDEO_MP4)
   , ("mp4v", VIDEO_MP4)
   , ("mpg4", VIDEO_MP4)