what motherboard is your printer using ?
Different boards use different update procedures.

If you are lucky and have a32 bit board you can usually just drop the file son an sdcard and power the machine up.
If not you have to deal with IDE - and personally I don't feel life is long enough to waste it messing around with Arduino IDE :-)