From a652099c46ceffe4b578e49a9870dedee6232a0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= Date: Fri, 13 Jan 2017 19:05:10 +0100 Subject: [PATCH] fetchurl: change to grep -E to fix #8561 Close #21861. --- pkgs/build-support/fetchurl/write-mirror-list.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/build-support/fetchurl/write-mirror-list.sh b/pkgs/build-support/fetchurl/write-mirror-list.sh index 55508742dd3..2dabd2e722b 100644 --- a/pkgs/build-support/fetchurl/write-mirror-list.sh +++ b/pkgs/build-support/fetchurl/write-mirror-list.sh @@ -1,4 +1,4 @@ source $stdenv/setup # !!! this is kinda hacky. -set | grep '^[a-zA-Z]\+=.*://' > $out +set | grep -E '^[a-zA-Z]+=.*://' > $out