41 reputation
13
bio website johan.vromans.org
location 52.88504N 06.85904E
age
visits member for 1 year, 5 months
seen Nov 6 '12 at 20:31

Seasoned software engineer, developer, consultant. Specialities: Perl, Linux, Emacs, OpenOffice, Music, Photography, Psychology.


Jun
6
awarded  Notable Question
Feb
24
awarded  Popular Question
Nov
8
awarded  Teacher
Nov
6
answered Specifying SD card mount options upon boot
Nov
6
comment Specifying SD card mount options upon boot
I appreciate your efforts.
Nov
6
comment Specifying SD card mount options upon boot
Thanks for your ongoing patience and suggestions. Unfortunately, all init scripts are run long before the process (vold?) that mounts the SD card.
Nov
6
comment Specifying SD card mount options upon boot
Sorry, but "I guess so" is not sufficient for a change that may brick the tablet...
Nov
5
comment Specifying SD card mount options upon boot
Do you mean that the 'dev_mount' line in /etc/vold.fstab is just a shell command, and that I can replace it by an arbitrary other command?
Nov
5
comment Specifying SD card mount options upon boot
Yes, this is known information. But /etc/vold.fstab does not have a (documented?) means to specify mount options. It may very well be impossible to obtain the correct mount at boot time (i.e., via /etc/fstab.old) but in that case I hope there's a way to automatically execute the remount command. I did put the remount in /etc/rc.local but that didn't work, apparently the SDcard has not yet been mounted when /etc/rc.local is run.
Nov
5
awarded  Student
Nov
5
asked Specifying SD card mount options upon boot