1
0
Fork 0

Merge pull request #6458 from ajiyakin/identic-name-diff-capitalization-unzip

Warn identical names w/ different capitalization for unzip
pull/6499/head
Jordi Boggiano 2017-06-18 17:14:47 +02:00 committed by GitHub
commit db7616885d
1 changed files with 1 additions and 0 deletions

View File

@ -113,6 +113,7 @@ class ZipDownloader extends ArchiveDownloader
} }
$this->io->writeError(' '.$processError->getMessage()); $this->io->writeError(' '.$processError->getMessage());
$this->io->writeError(' The archive may contain identical file names with different capitalization (which fails on case insensitive filesystems)');
$this->io->writeError(' Unzip with unzip command failed, falling back to ZipArchive class'); $this->io->writeError(' Unzip with unzip command failed, falling back to ZipArchive class');
return $this->extractWithZipArchive($file, $path, true); return $this->extractWithZipArchive($file, $path, true);