Deleting a Line from a File

[Anon]

I'm looking for a way to delete a specified line of text from a fairly large text file. Any recommendations on how to do so? In the archives I found several suggestions that involved reading the entire file and then outputting it again, but I'm looking for a more effecient way.

[Anon]

Do you mean deleting a specific line number (ie. line number 4) or a line with specified content (ie. a one-time-password file for e-payment)?
I wrote a script for the latter just yesterday.
///////////begin script/////////
$lines=file("my.file.name");

for ($i=0; $i < count($lines); $i++)
{
//you need to account for the newline;
//lines are 32 chars long

if (substr($otpris[$i], 0, 32)!=$c)$buffer.=$otpris[$i];
}

$fp=fopen("secure/9000326.ris", "w");
fwrite($fp, $buffer);
fclose($fp);
////////////////end script/////////
hope this helps.