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. _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed
