Fixes unzip on Windows

This commit is contained in:
Borek Bernard 2018-07-11 19:06:47 +02:00 committed by GitHub
parent 73a49fb016
commit 2dbdfc8648
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

2
tldr
View File

@ -380,7 +380,7 @@ Cache_fill(){
Err "Could not download pages archive from $U$zip_url$XU with $dl"
exit 8
}
$unzip "$tmp/pages.zip" -d "$tmp" 'pages/*' || {
$unzip "$tmp/pages.zip" -d "$tmp" 'pages/**' || {
rm -- "$tmp"
Err "Couldn't unzip the cache archive on $tmp/pages.zip"
exit 9