diff --git a/bin/erc-sh-archive b/bin/erc-sh-archive index 1dc84d027edf2b313d73d20b43af95d49921da2a..13987b4cd7448395883ebdff4131169a9a93f15b 100644 --- a/bin/erc-sh-archive +++ b/bin/erc-sh-archive @@ -63,7 +63,12 @@ EOF list_formats() { list_subformats - a='' patool formats | grep ".* files:" | sed "s/ .*//g" + if have_patool ; then + a='' patool formats | grep ".* files:" | sed "s/ .*//g" + else + echo "tar zip 7z tar.7z" + list_subformats + fi # TODO: do not use patool formats in such case? # See ArchiveCompressions in patool list_extraformats diff --git a/bin/tools_erc b/bin/tools_erc index 6178f5b3097c226766cbfe450ef8a648358594df..d3b3df54015cbe87098a34bc7090c084b4e46575 100755 --- a/bin/tools_erc +++ b/bin/tools_erc @@ -78,6 +78,9 @@ extract_archive() local type="$(get_archive_type "$arc")" case "$type" in + tar.*) + docmd $HAVE_7Z x -so $arc | docmd $HAVE_7Z x -si -ttar + ;; *) docmd $HAVE_7Z x $arc "$@" #fatal "Not yet supported extracting of $type archives"