On 11 August 2014 09:32, Jon Medhurst (Tixy) tixy@linaro.org wrote:
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/.
OK, my mistake, that must have been added sneakily when I wasn't looking :-)
-- Tixy