On Mon, 2014-08-11 at 09:27 +0100, Varun Sarwal wrote:
> >> I think we may have been talking about different things.
>
>
>
> Yes, I agree. I understand the issue brought up by Basil. I just wanted to add that the reason we observed this issue was because installing heavy benchmarks like glbenchmark (~400 MB) made the system show ‘low storage space’ notifications and made the benchmark crash, which made us look into the partition sizes.
>
>
>
> >> However, the extra disk space  get's allocated to the last 'sdcard' partition and doesn't change the sizes of the other partitions. Those are hardcoded in l-a-m-c I believe
>
>
>
> Ah right, I see.
>
>
>
> >> I believe that to be correct too.  And further to that, I believe the sdcard partition isn't mounted, so no matter what size it is, the user would have to mount it manually to be able to use it.
>
>
>
> And how would one go about doing that? Is it simply a mount /dev/* from the terminal? What’s the best way to find out the device name for the sdcard in this case?

It's is automatically mounted, it's at the path in the variable
$EXTERNAL_STORAGE and there's a symlink at /sdcard/.

--
Tixy