Fixes unzip on Windows

borekb · web-flow · commit 2dbdfc8648a9 · 2018-07-11T19:06:47.000+02:00
diff --git a/tldr b/tldr
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -380,7 +380,7 @@ Cache_fill(){`
`380`	`380`	`Err "Could not download pages archive from $U$zip_url$XU with $dl"`
`381`	`381`	`exit 8`
`382`	`382`	`}`
`383`		`- $unzip "$tmp/pages.zip" -d "$tmp" 'pages/*' \|\| {`
	`383`	`+ $unzip "$tmp/pages.zip" -d "$tmp" 'pages/**' \|\| {`
`384`	`384`	`rm -- "$tmp"`
`385`	`385`	`Err "Couldn't unzip the cache archive on $tmp/pages.zip"`
`386`	`386`	`exit 9`