Re: [/ is full] How to delete junk in /dev ?

[Why 42? The lists account.]

On Sun, Apr 05, 2020 at 10:19:30AM +0200, Olivier wrote:
> 
> Please, how to identify junk to remove in /dev below :
> ...
> +---> doas find -x / -size +10000 -exec du -h {} \; 
> 17.9M /bsd
> 9.8M  /bsd.rd
> 848K  /dev/sdXc
> 884M  /dev/sd3

I know you found it already, but this used to happen so often that I
learned to use "ls -l /dev | grep -v ," as a standard check whenever
someone complained about a lack of free space in the root fs.

.robb