Mailing List Archive: 49091 messages
  • Home
  • Script library
  • AltME Archive
  • Mailing list
  • Articles Index
  • Site search

[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