It would provide a better user experience if you didn't have to manually mount the sd card and run the mysetup script.
my suggestion to make this more automated would be to store the ip address of the dev system stored on the sd card and it can be changed there if need be.
the sd card and these scripts can then be run during startup by changing the rootfs that is loaded. this should probably become the default not just an option.
For new and non linux users these steps can be a pain and hard to grasp.