Want to compile sketches without the Arduino IDE

dc42:
Which operating system are you using?

Linux (Ubuntu 64 bit).