# HG changeset patch # User wenzelm # Date 1674487769 -3600 # Node ID f60dd8d765159b19fefca84fc2d84ef9ba9d7ae7 # Parent f56800b8b085f8fd5726e8cc19e9fe55224029ab more accurate options (amending 7e19dc018db9); diff -r f56800b8b085 -r f60dd8d76515 lib/Tools/components --- a/lib/Tools/components Mon Jan 23 16:15:45 2023 +0100 +++ b/lib/Tools/components Mon Jan 23 16:29:29 2023 +0100 @@ -149,7 +149,7 @@ fi if [ -e "${FULL_NAME}.tar.gz" ]; then echo "Unpacking \"${FULL_NAME}.tar.gz\"" - tar -C "$(dirname "$FULL_NAME")" -x -f "${FULL_NAME}.tar.gz" || exit 2 + tar -C "$(dirname "$FULL_NAME")" -x -z -f "${FULL_NAME}.tar.gz" || exit 2 fi fi done