Skip to content

Fix download of external packages

Jose E. Roman requested to merge jose/maint/configure-bugs into maint
  • use a timeout
  • check that the downloaded file can be opened
  • fix file permissions for the untared tarballs
  • fix download-package to work correctly when tarball has a different dir name

Merge request reports