There are no utilities included for automatic file system re-sizing. However, it's not hard to do manually. Once booted:
sudo fdisk /dev/mmcblk0
Delete the second partition (d, 2), then re-create it using the defaults (n, p, 2, enter, enter), then write and exit (w). Reboot the system, then:
sudo resize2fs /dev/mmcblk0p2
但是我按上面的操作做完,提示:
The filesystem is already 943360(4K) blocks long. nothing to do !
用gparted看,后面还是有12G没分区,不知道哪里出问题了。