On Mon, Nov 23, 2020 at 03:25:34PM +0100, Otto Moerbeek wrote:
> tOn Mon, Nov 23, 2020 at 01:53:01PM +0100, Solene Rapenne wrote:
>
> > 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.
> >
>
> reporting is good, but deleting not.
>
> -Otto
^^
I like this option a lot more, as users will get an opportunity to
learn.
-Bryan.
