...
The .bit image on the SD memory card can be updated using an Unix "scp" commandthe following commands:
$ scp $TARGET_PATH root@$IP_ADDRESS:/mnt/boot/fpga.bit
$ ssh root@192.168.2.117
# sync
# reboot
Where $TARGET_PATH is the path to the new .bit file and $IP_ADDRESS is the IP address of the RCE that you want to update. The "sync" command synchronizes the SD memory card.