correctly escape the escaped backslash

ericherman · ericherman · commit bed868734020 · 2023-05-10T16:36:42.000+02:00
diff --git a/url-check b/url-check
@@ -1 +1 @@
-Subproject commit 7ce0841eade82252b8a1918d9245bffda9b5d011
+Subproject commit 8c011a608fdfcec5b941e38c4b2bbb36eca70f7b
diff --git a/url-check-config.json b/url-check-config.json
@@ -21,7 +21,7 @@
 	"^https://commons\\.wikimedia\\.org/wiki/File:Trains_icons_": "')' bug",
         "^https://pixabay\\.com/": "gives 403 to curl",
 	"^https://fonts.google.com/download?family=": "bash param in the URL",
-        "https://standard.publiccode.net/criteria/\\2.html": "regex in URL",
+        "https://standard.publiccode.net/criteria/\\\\2.html": "regex in URL",
         "amsterdam\\.nl/en/": "frequent timeouts"
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@`
`21`	`21`	`"^https://commons\\.wikimedia\\.org/wiki/File:Trains_icons_": "')' bug",`
`22`	`22`	`"^https://pixabay\\.com/": "gives 403 to curl",`
`23`	`23`	`"^https://fonts.google.com/download?family=": "bash param in the URL",`
`24`		`- "https://standard.publiccode.net/criteria/\\2.html": "regex in URL",`
	`24`	`+ "https://standard.publiccode.net/criteria/\\\\2.html": "regex in URL",`
`25`	`25`	`"amsterdam\\.nl/en/": "frequent timeouts"`
`26`	`26`	`}`
`27`	`27`	`}`