On Thu, Jan 21, 2010 at 5:01 AM, William John Murray
<bill.murray(a)stfc.ac.uk> wrote:
Any more ideas? I guess I could copy the filesystem contents to
another disk and back, I have the space for that, but it seems a little
over-the-top. And it may well come back...
That would have the added benefit of completely defragmenting your filesystem.
I know it's off-topic, but it's really the best way to defragment;
defragmentation tools are generally unable to defragment everything.
Don Quixote
--
Don Quixote de la Mancha
quixote(a)dulcineatech.com
http://www.dulcineatech.com
Dulcinea Technologies Corporation: Software of Elegance and Beauty.