>>> Sorry for being grumpy - i'm frustrated with some other things, >>> for example the fact that all my data got deleted because of a >>> script bug, and the fact that the behaviour of 'rm' makes it very >>> difficult to recover anything.
On my GNU/Linux box, I'm using the libtrash library which intercepts `rm' and friends to store data to be deleted in a trash directory. A cron script then really deletes the collected data once a day. http://pages.stern.nyu.edu/~marriaga/software/libtrash/ I'm very satisfied with it. Werner _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user
