On 2020/11/23 09:31, Bryan Steele wrote: > 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.
I don't object to reporting (I do object to automatically deleting), but realistically for many people who would make this mistake, the daily mails are just going to build up unread in /var/mail/$USER...
