df

monoのインストールとかやってて、現在の容量。

$ df
Filesystem 1K-blocks Used Available Use% Mounted on
/dev/mmcblk0p2 15065320 6515576 7772204 46% /
none 336776 288 336488 1% /dev
none 340916 0 340916 0% /dev/shm
none 340916 80 340836 1% /var/run
none 340916 0 340916 0% /var/lock

つぎは32GBの方が良いかも…
SDXCに賭けて64GBも考えたが、まだ高い。