Is it okay that my / partition is full?

Kernel, Main, Utilities & Applications, Miscellaneous Devices.
User avatar
ioev
Posts: 31
Joined: Mon May 25, 2020 1:56 pm
Has thanked: 3 times
Been thanked: 1 time

Is it okay that my / partition is full?

Unread post 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.
User avatar
Cebion
Posts: 115
Joined: Sun May 24, 2020 7:30 pm
Has thanked: 1 time
Been thanked: 3 times

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

Unread post 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.
User avatar
ioev
Posts: 31
Joined: Mon May 25, 2020 1:56 pm
Has thanked: 3 times
Been thanked: 1 time

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

Unread post 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?
ExCyber
Posts: 217
Joined: Sun May 24, 2020 3:33 pm
Has thanked: 11 times
Been thanked: 66 times

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

Unread post 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.
User avatar
Sorgelig
Site Admin
Posts: 877
Joined: Thu May 21, 2020 9:49 pm
Has thanked: 2 times
Been thanked: 211 times

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

Unread post by Sorgelig »

/ is mounted normally as read-only.
If you login linux then / will be re-mounted as read-write.
User avatar
ioev
Posts: 31
Joined: Mon May 25, 2020 1:56 pm
Has thanked: 3 times
Been thanked: 1 time

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

Unread post by ioev »

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