I have been using the following bash script when building and pushing my code to the robot, it compiles then downloads, and attempts to download until success:
function deploy {
pros make -j9
until pros flash -f .
do
echo "Failed to push, trying again... (Press Ctrl-C to stop)"
done
}
Put that into your
~/.bash_profile
(Linux, OS X, and Git Bash/MinTTY/MinGW/etc. on Windows) and then push your code using
deploy
. Hope this makes your life a little easier!