On 11 August 2014 09:32, Jon Medhurst (Tixy) <t...@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
>
>
_______________________________________________
linaro-validation mailing list
linaro-validation@lists.linaro.org
http://lists.linaro.org/mailman/listinfo/linaro-validation

Reply via email to