Re: getting one line from file
| From: | Mark Maggelet | Date: | Thu, 31 Aug 2000 16:17:45 +0000 |
| Subject: | Re: getting one line from file | ||
| References: | 1 | Groups: | php.general |
| Request: | Send a blank email to php-general+get-14637@lists.php.net to get a copy of this message | ||
On 31 Aug 2000 16:04:20 +0100, Robin Vickery
(robin@planet-three.co.uk) wrote:
>david.perry@nerosworld.com (David Perry) writes:
>
>> Michael,
>>
>> > > > >> $info =
grep "676"
>> > > > >> /tmp/somefile.txt;
>>
>> There are some minor tricks to help like
>>
>> $info = `cat /tmp/somefile.txt | head -9000 | grep '676';
you could do a lot better by taking the cat out:
$info = head -n9000 /tmp/somefile.txt | grep 676;
- Mark