adding more extensions

1 files changed, 6 insertions, 2 deletions

diff --git a/parse.sh b/parse.sh
index fb3ae29..b1e35d7 100755
--- a/parse.sh
+++ b/parse.sh
@@ -1,6 +1,8 @@
 #!/bin/bash
 # run this on the backup directory
 
+# TODO: gérer les extensions connues. voir ~/n (etoys)
+
 datafile="data"
 mime="mime_type"
 home=$PWD
@@ -47,14 +49,16 @@ do
 					cat $mime |grep -q application/x-memorize-project && ext="memorize"
 					cat $mime |grep -q application/x-physics-activity && ext="physics"
 					cat $mime |grep -q application/x-turtle-art && ext="turtle"
-					cat $mime |grep -q audio/ogg && ext="ogg"
+					cat $mime |grep -q ogg && ext="ogg"
 					cat $mime |grep -q image/jpeg && ext="jpeg"
 					cat $mime |grep -q image/png && ext="png"
 					cat $mime |grep -q text/plain && ext="txt"
 					cat $mime |grep -q text/x-python && ext="py"
-					cat $mime |grep -q video/ogg && ext="ogg"
 					cat $mime |grep -q opendocument && ext="odf"
 					cat $mime |grep -q application/epub && ext="epub"
+					cat $mime |grep -q application/rtf && ext="rtf"
+					cat $mime |grep -q mpeg && ext="mpeg"
+					cat $mime |grep -q html && ext="html"
 					if [ $ext == "unknown" ]
 					then
 						err_m "Format unknown: $out"