Hey,
i think this is a great idea. I gave this a try on my machines and
everything still works great. I asume that this will also reduce the
number of questions about overgrown / partitions. But i cannot give you
an OK, i am not an official developer. Just some feedback that it works
great on my machines.
Thanks so much and greetings
Leo
Am 23.11.2020 um 13:53 schrieb Solene Rapenne:
A common mistake when using dd is to create a file in /dev which
fills up the space of / and may stay silent until / gets filled up
by something else that will fail.
Would it be OK to add this in /etc/daily?
find /dev -type f ! -name MAKEDEV -delete
AFAIK /dev should have only MAKEDEV as a regular file.
hier(7) says /dev only have block and character devices
with the exception of MAKEDEV.
