[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-ed] editing a large file with ed

From: Antonio Diaz Diaz
Subject: Re: [Bug-ed] editing a large file with ed
Date: Thu, 02 Aug 2012 17:26:11 +0200
User-agent: Mozilla/5.0 (X11; U; Linux i586; en-US; rv:1.7.11) Gecko/20050905

Bob Proulx wrote:
Therefore to truncate a file and to ensure that the disk space is
freed immediately regardless of a process still possibly writing to it
I recommend simply truncating the file using the shell.

Thanks. This seems a excellent solution.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]