It occurs to me just now that whatever I suggested in the other thread was probably wrong. The right way is instead
/boot/uboot/tools/scripts/beaglebone-black-copy-microSD-to-eMMC.sh
This does something more sophisticated than dd (I guess this is required because dd would not work fine with a mounted source disk).
Note that you may have to do this before:
umount /dev/mmcblk0p1 && mount /dev/mmcblk0p1
in case /dev/mmcblk0p1 was mounted as read-only
apologies for the previous misleading post. Fixed the wiki as well.