>> > And eventually the updates made to the file are not actually saved, >> Can you be more precise than "eventually"? > Probably 100+ edits and saves over 4 or 5 hours. >> More importantly: what makes you think they're not actually saved? > Going to another shell and cat'ing the file shows the old contents.
So the actual disk isn't to blame (cat'ing a file that was just saved won't look at the disk anyway). Sounds like a bug in your text editor. Stefan