Page 1 of 1

Hard disk (/home partition) without space ?

Posted: Sun Dec 16, 2018 8:23 pm
by pcfan5
hello, I have 95% free space in disk which means 15 GB available, however I cannot save anything , I always get the messages "there isn't enough space". I have this partitions:(GPT partitioned) Where home is mounted in sda4:

Code: Select all

sudo lsblk -fm

NAME   FSTYPE LABEL   UUID                                 MOUNTPOINT NAME     SIZE OWNER GROUP MODE

sr0                                                                   sr0     1024M root  cdrom brw-rw----
sda                                                                   sda    298,1G root  disk  brw-rw----
├─sda4 ext4           544418e7-155a-486f-8a27-cb9761eb87e3 /home      ├─sda4 272,2G root  disk  brw-rw----
├─sda2 ext4           4df40035-50ee-4d2d-896d-bfaeb1b39a00 /          ├─sda2    22G root  disk  brw-rw----
├─sda3 swap           167f58d2-d081-4cfb-bcf8-bd6737a95e05 [SWAP]     ├─sda3   3,9G root  disk  brw-rw----
└─sda1                                                                └─sda1     1M root  disk  brw-rw----

This is my computer: inxi -Fxz

Code: Select all

System:    Host: sil-MOV Kernel: 4.15.0-34-generic x86_64 (64 bit gcc: 5.4.0)
           Desktop: Xfce 4.12.3 (Gtk 2.24.28) Distro: Linux Mint 18.3 Sylvia
Machine:   System: BANGHO (portable) product: MOV v: MODEL_EQUIP
           Mobo: BANGHO model: MOV v: D02A
           Bios: American Megatrends v: 1.01.15RPCD1 date: 07/11/2012
CPU:       Dual core Intel Core i5-2450M (-HT-MCP-) cache: 3072 KB
           flags: (lm nx sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx) bmips: 9977
           clock speeds: max: 3100 MHz 1: 800 MHz 2: 819 MHz 3: 903 MHz
           4: 857 MHz
Graphics:  Card: Intel 2nd Generation Core Processor Family Integrated Graphics Controller
           bus-ID: 00:02.0
           Display Server: X.Org 1.18.4 drivers: intel (unloaded: fbdev,vesa)
           Resolution: 1366x768@59.91hz
           GLX Renderer: Mesa DRI Intel Sandybridge Mobile
           GLX Version: 3.0 Mesa 18.0.5 Direct Rendering: Yes
Audio:     Card Intel 6 Series/C200 Series Family High Definition Audio Controller
           driver: snd_hda_intel bus-ID: 00:1b.0
           Sound: Advanced Linux Sound Architecture v: k4.15.0-34-generic
Network:   Card-1: Realtek RTL8188CE 802.11b/g/n WiFi Adapter
           driver: rtl8192ce port: e000 bus-ID: 02:00.0
           IF: wlp2s0 state: up mac: <filter>
           Card-2: JMicron JMC250 PCI Express Gigabit Ethernet Controller
           driver: jme v: 1.0.8 ports: d100 d000 bus-ID: 03:00.0
           IF: enp3s0f0 state: down mac: <filter>
Drives:    HDD Total Size: 320.1GB (90.1% used)
           ID-1: /dev/sda model: WDC_WD3200BPVT size: 320.1GB
Partition: ID-1: / size: 22G used: 11G (53%) fs: ext4 dev: /dev/sda2
           ID-2: /home size: 268G used: 255G (100%) fs: ext4 dev: /dev/sda4
           ID-3: swap-1 size: 4.15GB used: 0.17GB (4%) fs: swap dev: /dev/sda3
RAID:      No RAID devices: /proc/mdstat, md_mod kernel module present
Sensors:   System Temperatures: cpu: 50.0C mobo: N/A
           Fan Speeds (in rpm): cpu: N/A
Info:      Processes: 202 Uptime: 2:22 Memory: 1489.3/3850.4MB
           Init: systemd runlevel: 5 Gcc sys: 5.4.0
           Client: Shell (bash 4.3.481) inxi: 2.2.35 
This is Disk:
disk.png


I would appreciate your help very much, since I cannot even save a png captured picture.

Re: Hard disk (/home partition) without space ?

Posted: Sun Dec 16, 2018 8:44 pm
by gm10
Run

Code: Select all

df -h /home 
You will find that your /home partition is 100% used, i.e. full. You'll also notice that Used + Available space do not add up to the Size of the partition. That's because the filesystem requires space on the partition as well that you cannot use for your data. The various tools just report this differently.

If you want to see some details on your filesystem, run:

Code: Select all

sudo dumpe2fs -h /dev/sda4

Re: Hard disk (/home partition) without space ?

Posted: Sun Dec 16, 2018 9:00 pm
by redlined
I see gm10 beat me to the punch here, but your tell is in inxi info, what the system sees and can use:
ID-2: /home size: 268G used: 255G (100%) fs: ext4 dev: /dev/sda4

says 100% full so you're going to want more storage space (resize root would'nt give much, of the 11 out of 22GB available there I'd not go lower than 15GB for root and 7GB to /home wouldn't give much elbow room) so either add an internal or external drive and relocate things from /home to it or otherwise delete/remove stuff you have stored in /home

Re: Hard disk (/home partition) without space ?

Posted: Sun Dec 16, 2018 11:39 pm
by pcfan5
gm10 wrote:
Sun Dec 16, 2018 8:44 pm
Run

Code: Select all

df -h /home 
You will find that your /home partition is 100% used, i.e. full. You'll also notice that Used + Available space do not add up to the Size of the partition. That's because the filesystem requires space on the partition as well that you cannot use for your data. The various tools just report this differently.

If you want to see some details on your filesystem, run:

Code: Select all

sudo dumpe2fs -h /dev/sda4
Thank you . I didn't know about this commands, neither I paid attention to what inxi -Fxz said in "partitions". I let my self believe that what I saw in "disk" app (shown in the picture ) was accurate.

I have been clearing some files as @ redlined suggested, now the first command you gave me say this:

Code: Select all

LC_ALL=C df -h /home 
Filesystem      Size  Used Avail Use% Mounted on
/dev/sda4       268G  222G   33G  88% /home

Re: Hard disk (/home partition) without space ?

Posted: Sun Dec 16, 2018 11:46 pm
by pcfan5
redlined wrote:
Sun Dec 16, 2018 9:00 pm
I see gm10 beat me to the punch here, but your tell is in inxi info, what the system sees and can use:
ID-2: /home size: 268G used: 255G (100%) fs: ext4 dev: /dev/sda4

says 100% full so you're going to want more storage space (resize root would'nt give much, of the 11 out of 22GB available there I'd not go lower than 15GB for root and 7GB to /home wouldn't give much elbow room) so either add an internal or external drive and relocate things from /home to it or otherwise delete/remove stuff you have stored in /home

thank you for your reply! I am making space , moving things to the external HDD, I agree with you regarding the resize of the partition, anyway I have recently descovered that , under GPT partion table, resizing partitions can lead into trouble. In another computer, also GPT partitioned I recently enlarge the swap partition form USB live , with gparted, and then I got a long time for booting issue.

Re: Hard disk (/home partition) without space ?

Posted: Mon Dec 17, 2018 12:33 am
by redlined
pcfan5 wrote:
Sun Dec 16, 2018 11:46 pm
thank you for your reply! I am making space , moving things to the external HDD, I agree with you regarding the resize of the partition, anyway I have recently descovered that , under GPT partion table, resizing partitions can lead into trouble. In another computer, also GPT partitioned I recently enlarge the swap partition form USB live , with gparted, and then I got a long time for booting issue.
hi pcfan5! That part of my thoughts, resize partition is least desired course of action, and as you say, it can cause trouble.
well done on the big clean up, 33GB in a few hours is significant spring cleaning! I think you'll enjoy the elbow room :mrgreen: