Page 1 of 1

Is it okay that my / partition is full?

Posted: Sun Jun 21, 2020 1:34 am
by ioev
The output of df -h:

Code: Select all

Filesystem      Size  Used Avail Use% Mounted on
/dev/loop8      295M  286M     0 100% /
/dev/root       120G   51G   69G  43% /media/fat
devtmpfs        245M     0  245M   0% /dev
tmpfs           245M     0  245M   0% /dev/shm
tmpfs           245M  272K  245M   1% /tmp
tmpfs           245M  228K  245M   1% /run
tmpfs           245M     0  245M   0% /var/lib/samba
/dev/loop0      987K   56K  789K   7% /var/lib/bluetooth
I've been having problems with my wireless .ko file being deleted when I run updates scripts, and was suggested to make sure my disk wasn't full, but it appears that it is. I don't remember configuring a size when setting up the sd card, but I could certainly give it another couple hundred MB (if that's possible) if it would prevent any problems.

Re: Is it okay that my / partition is full?

Posted: Sun Jun 21, 2020 5:47 am
by Cebion
What do you mean with your disk is full?
/dev/loopX are virtual devices to mount image files, these are -read only- so do not get larger or smaller than they are when created.

Re: Is it okay that my / partition is full?

Posted: Sun Jun 21, 2020 4:16 pm
by ioev
Another question then:

In the docs for manually compiling my wifi driver, I have to copy a 4mb file into /lib/modules/4.19.0-socfpga-r1/ which works. But isn't this folder under / which is read-only?

Re: Is it okay that my / partition is full?

Posted: Sun Jun 21, 2020 7:04 pm
by ExCyber
The / file system on MiSTer is not read-only, and yours is not actually full. Unix file systems allow reserving part of the capacity for exclusive use by the root user, conventionally 5%. The "available" space according to df doesn't include this space.

That being said, having an ext4 file system actually be ~99% full is considered bad because it causes fragmentation.

Re: Is it okay that my / partition is full?

Posted: Mon Jun 22, 2020 4:36 pm
by Sorgelig
/ is mounted normally as read-only.
If you login linux then / will be re-mounted as read-write.

Re: Is it okay that my / partition is full?

Posted: Tue Jun 23, 2020 1:54 pm
by ioev
Alright, so it sounds like there's nothing to be concerned about. Thanks!