On Mon, Nov 23, 2020 at 12:53:01PM GMT, 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
On Mon, 23 Nov 2020 14:46:29 +
Stuart Henderson :
> 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
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
>
>
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
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
On Mon, Nov 23, 2020 at 03:19:24PM +0100, Mark Kettenis wrote:
> > Date: Mon, 23 Nov 2020 13:53:01 +0100
> > From: 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
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
> Date: Mon, 23 Nov 2020 13:53:01 +0100
> From: 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?
>
>
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