[REBOL] Re: Deleteing lines from a big file
From: max:ordigraphe at: 18-Jul-2001 12:03
Ah... the legendary Holger Kruse is now at RT. cool :-)> The best > solution is to copy the file to another file, line by line, > in /direct mode, > skipping the line you want to delete. Then delete the old > file and rename the > new one.Yep, much better than my idea (also easier to handle the buffering thing) you could copy several at a time, increasing speed of copy. -Max