Ran out of space, emptied wastebasket to get some working room. Now File Explorer shows Free Space as 1.0 GiB (Total 7.2 GiB). Suggesting some 6.2 GiB is used.
Ran ncdu to hunt down any space hogging files, but ncdu states the total disk usage is 1.3 GiB (1.2 Gi B apparent). This seems more in line with known usage of the card (i.e. not much extra installed from new).
Ran sudo fdisk –l for more info. Shows 2 devices, one of 42M FAT16, the other 7.4G Linux.
Df –h shows /dev/root sized at 7.2G, used 5.8G i.e. /dev/root is full up
Have expanded the file system using raspi-config, and rebooted, but it appears to have made no difference. On inspection, the terminal output from fdisk (following raspi-config/expand) might explain.
I am not at all familiar with partprobe or kpartx and fear the risk of messing up my install!Calling ioctl() to re-read partition table.
Re-reading the partition table failed.: Device or resource busy
The kernel still uses the old table. The new table will be used at the next reboot or after you run partprobe(8) or kpartx(8).
Any advice on how I recover the full 8gb for use?