On 12/02/2017 02:35 PM, David Christensen wrote: [...]
Where is /boot?
Possibly, this is a better answer: $ df -Th Filesystem Type Size Used Avail Use% Mounted on [...] /dev/sda1 vfat 992K 855K 138K 87% /boot/efi /dev/mapper/debian8--vg-tmp ext4 268M 2.1M 247M 1% /tmp /dev/mapper/debian8--vg-home ext4 9.1G 616M 8.0G 8% /home /dev/mapper/debian8--vg-var ext4 8.2G 1.4G 6.4G 17% /var [...] - Dan