Compiling and uploading arduino programs without the IDE

The Arduino IDE might be good for beginners, but it’s not my usual text editor, so I don’t like it. ...