On Mon, 23 Nov 2020 14:46:29 +0000
Stuart Henderson <s...@spacehopper.org>:

> 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...
> 

That's exactly why I thought removing them was better than reporting.
The disk usage is already reported daily.

With the script being run during night, this would also only be
useful for workstation that stay online at the time the script
is run.

In conclusion, it was a bad idea.

Reply via email to