>>> 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

Reply via email to