Hi all, > Am 11.07.2018 um 14:07 schrieb Peter P. <[email protected]>: > >>>> This might be off-topic, but has anyone managed to create a persisntent >>>> home directory inside /dev/mmcblk0p2 (the ext2/3 partition created by >>>> piCore itself, which I did maximize already)? >>> >>> You can use the command `filetool.sh -b` to backup a snapshot of the homedir >>> to the SD card and it will be returned to that state on reboot. >> This is what I read from the docs and what I am currently using. Albeit, >> I am having a 300MB sound file in my home dir and it being part of the >> filetool.sh backup immensely slows down startup as the OS has to >> uncompress the audiofile. > Managed to shrink the existing filesystem in /dev/mmcblk0p2 using > resize2fs as well as the partition using fdisk. > Created yet another partition /dev/mmcblk0p3 with an ext4 filesystem > which now gets mounted as home with the boot option > home=/dev/mmcblk0p3 >
I do a similar thing, mounting an extra partition as read-only using /etc/fstab. I my home, i have a symbol link to the actual startup script on the extra partition. It is easy to remount the extra partition read/write when i have to update a project (which is usually simply a transfer from my laptop using rsync) best, Thomas -- Thomas Grill http://grrrr.org
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
