|
| 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.
| [Prev in Thread] | Current Thread | [Next in Thread] |