Is it okay that my / partition is full?

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

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

[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?

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

[Sorgelig]

/ is mounted normally as read-only.
If you login linux then / will be re-mounted as read-write.

[ioev]

Alright, so it sounds like there's nothing to be concerned about. Thanks!