I checked for updates in Ubuntu Mate and there were a few. Went to install them and it told me that there wasn't enough space in /boot to download. It needed an additional 17 meg.
Looks like it's using the boot partition to download and install updates... need to have it use another partition with more space but I'm not sure how to go about doing that.
(05-09-2017, 03:37 PM)mspohr Wrote: [ -> ]I checked for updates in Ubuntu Mate and there were a few. Went to install them and it told me that there wasn't enough space in /boot to download. It needed an additional 17 meg.
Looks like it's using the boot partition to download and install updates... need to have it use another partition with more space but I'm not sure how to go about doing that.
I plan to upgrade the eMMC on my pinebook before I screw around with updating the OS. You can then prepare the eMMC anyway you would like (number and size of partitions).
Also, you might want to back-up your eMMC before playing around with it.
I reported this a few days ago -- for now update via commandline
(05-09-2017, 03:37 PM)mspohr Wrote: [ -> ]I checked for updates in Ubuntu Mate and there were a few. Went to install them and it told me that there wasn't enough space in /boot to download. It needed an additional 17 meg.
Looks like it's using the boot partition to download and install updates... need to have it use another partition with more space but I'm not sure how to go about doing that.
Yeah, on the last of the April pinebook images at least, the file system was partitioned like this (and before anyone asks... this is the eMMC... not microSD, as there was no microSD card in the pinebook when fdisk -l was run
):
Device Boot Start End Sectors Size Id Type
/dev/mmcblk0p1 40960 143359 102400 50M c W95 FAT32 (LBA)
/dev/mmcblk0p2 143360 30310399 30167040 14.4G 83 Linux
So you'd need to do an offline resize of both partitions... i.e. boot from the microSD card, and then used something like gparted to then shrink and move down the linux partition, and then enlarge the boot partition.
Or as Luke said... upgrade from the command line / terminal for now... using sudo apt-get update && sudo apt-get upgrade. That will run without any any issues