From 2f4ef343b48af266285587fca3bf9375aea3719d Mon Sep 17 00:00:00 2001 From: Yury Melnichek Date: Tue, 29 May 2012 07:02:39 +0200 Subject: [PATCH] [guide] User memory mapping when grepping. --- crawler/extract-image-urls.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crawler/extract-image-urls.sh b/crawler/extract-image-urls.sh index da07574755..508f45f42b 100755 --- a/crawler/extract-image-urls.sh +++ b/crawler/extract-image-urls.sh @@ -1,7 +1,7 @@ #!/bin/bash set -e -u -x -grep --ignore-case --only-matching --no-filename ']*"' -r --include=*.opt . \ +grep --ignore-case --only-matching --no-filename --mmap ']*"' -r --include=*.opt . \ | sed 's/