added odt, since those are also zips.

diff --git a/scripts/archival/unpack.sh b/scripts/archival/unpack.sh
index 303937299475f38bb6335b4ca9e092c3870601e6..933f8f0ac7d0101fbe7075acf445e7a67af68576 100644 (file)
--- a/scripts/archival/unpack.sh
+++ b/scripts/archival/unpack.sh
@@ -57,6 +57,7 @@ if [[ $unpack_file =~ .*\.tar$ \
     || $unpack_file =~ .*\.tgz$ ]]; then
   tar -xf $unpack_file &>/dev/null
 elif [[ $unpack_file =~ .*\.zip$ \
+    || $unpack_file =~ .*\.odt$ \
     || $unpack_file =~ .*\.jar$ \
     || $unpack_file =~ .*\.iar$ \
     || $unpack_file =~ .*\.oar$ ]]; then