If you don't happen to have a $60 JTAG programming cable handy and you don't want to have to take the SD card out to reprogram the Snickrdoodle, then this post is for you. Now that file sharing is working, one can transfer the .bit file over to Linux and then flash it down to the FPGA. There is one catch however in that the .bit file can not be read by Linux as one must use the .bin file. This is why the project.tcl script file contains the below line of code.
The 'chmod' command gives execution privileges to the file and the cat command copies down the binary file to the FPGA. This method of transferring a .bin file to the FPGA can be very versatile as one could write a python program that can flash different images down to the FPGA based upon user input, or various circumstances.