Hi! How could I check, if there are files which are not from debs and if there are modified files? Oliver -- I'm busily ignoring some thousand of implications I have determined to be irrelevant.