diff bin/pastelog @ 2417:be90d778a82d

<Sgeo> revert 2243
author HackBot
date Tue, 12 Mar 2013 23:37:01 +0000
parents 5c453217583b
children f2f65a1fa363
line wrap: on
line diff
--- a/bin/pastelog	Tue Mar 12 18:15:05 2013 +0000
+++ b/bin/pastelog	Tue Mar 12 23:37:01 2013 +0000
@@ -16,7 +16,7 @@
     if expr "$1" + 0 >/dev/null 2>&1; then
         pasterandom "$1"
     else
-        lines=$(timeout 25 grep -P -i -- "$1" ????-??-??.txt | head -n 301)
+        lines=$(grep -P -i -- "$1" ????-??-??.txt | head -n 301)
         {
             echo "$lines" | head -n 300
             [ $(echo "$lines" | wc -l) -eq 301 ] && echo "[too many lines; stopping]"