From edfcdb171c8a85f56d0d26dd5e6eb5a841c13690 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Cl=C3=A9mentine=20Urquizar?= Date: Tue, 1 Jun 2021 18:54:39 +0200 Subject: [PATCH] Update benchmarks/scripts/list.sh Co-authored-by: Irevoire --- benchmarks/scripts/list.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/benchmarks/scripts/list.sh b/benchmarks/scripts/list.sh index b368028da..764193329 100755 --- a/benchmarks/scripts/list.sh +++ b/benchmarks/scripts/list.sh @@ -4,7 +4,7 @@ # - curl # - grep -res=$(curl -s https://milli-benchmarks.fra1.digitaloceanspaces.com | grep -oP "(?<=)[^<]+" | grep -oP --color=never "(?<=^critcmp_results/).+") +res=$(curl -s https://milli-benchmarks.fra1.digitaloceanspaces.com | grep -o '[^<]\+' | cut -c 5- | grep critcmp_results/ | cut -c 18-) for pattern in "$@" do