I needed extra space on my /boot
partition so I took the SD card, inserted it into my PC and expanded/moved the partitions using GParted (this to my surprise took over 4 hours to complete).
pi@raspberrypi:~ $ df
Filesystem 1K-blocks Used Available Use% Mounted on
/dev/root 25660524 1777960 22815436 8% /
devtmpfs 470176 0 470176 0% /dev
tmpfs 474784 0 474784 0% /dev/shm
tmpfs 474784 6360 468424 2% /run
tmpfs 5120 4 5116 1% /run/lock
tmpfs 474784 0 474784 0% /sys/fs/cgroup
/dev/mmcblk0p1 41976 29357 12619 70% /boot # 41 MB
pi@raspberrypi:~ $ lsblk
NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT
mmcblk0 179:0 0 28.9G 0 disk
├─mmcblk0p2 179:2 0 24.9G 0 part /
└─mmcblk0p1 179:1 0 4G 0 part /boot # 4 GB
As you can see lsblk
shows the boot partition to be 4 GB, but df
reports it's 41 MB (that was its size before I expanded it). Also writing files larger than the free space df
shows doesn't work.
How do fix my /boot (mmcblk0p1)
partition so it's correctly expanded to 4 GB?