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 _______________________________________________ linaro-validation mailing list linaro-validation@lists.linaro.org http://lists.linaro.org/mailman/listinfo/linaro-validation
