The source project of this merge request has been removed.
Enhance the robustness of `install/install_utils` script.
If the archive download fails due to force majeure, such as power and network failure, etc., the original script will refuse to run again due to the existence of a corrupted archive/package. So first check the integrity of the compressed file by gzip -t and delete it if damaged. On the other hand, this MR also tries to make the script cleaner and more readable and maintainable.
See #456 (closed), #435 (closed) and !1713 (comment 814419698) for more detailed discussions.
Edited by hongyi-zhao