Что предпринятив бы, если ваш коллега регулярно удаляет файлы с помощью команды rm -rf, но файлы все равно остаются и не освобождают место на диске?