added 7z file format unpacking.

diff --git a/scripts/archival/unpack.sh b/scripts/archival/unpack.sh
index 1389d1e7a59c0a33145f8a503b42dee35b64f5c8..cffb90e2cf62079294579462a872727fb34428da 100644 (file)
--- a/scripts/archival/unpack.sh
+++ b/scripts/archival/unpack.sh
@@ -69,6 +69,9 @@ elif [[ "$archive_file" =~ .*\.zip$ \
     || "$archive_file" =~ .*\.war$ \
     ]]; then
   unzip "$archive_file" &>/dev/null
+elif [[ "$archive_file" =~ .*\.7z$ \
+    ]]; then
+  7z x "$archive_file" &>/dev/null
 fi
 save_err=$?