Warn identical names w/ different capitalization for unzip
Warn about identical names with different capitalization on unzip archive extract failure (Not a directory) Issue #5938pull/6458/head
parent
cb3d2e83a3
commit
03c560ce05
|
@ -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);
|
||||||
|
|
Loading…
Reference in New Issue