Arduino without IDE

For my pet project I need to upload sketches to Arduino board connected to RaspPI. As usual I have only SSH access to PI and don't want to install a lot of unnecessary packages. So the only one thing you have to install it arduino-mk package:

 $ sudo apt-get install arduino-mk  

RPI: extending swap

Last weekend I spent some time running my Scala/Play application on Raspberry PI. I got an OutOfMemoryError and had to slightly extend swap space:

 >sudo su  
 >echo "CONF_SWAPSIZE=512" > /etc/dphys-swapfile  
 >dphys-swapfile setup  
 >dphys-swapfile swapon