Hmm, so I installed the new Arduino 2 instead, and now both it and Arduino v1 work properly (even without starting them from Terminal). Keeps getting weirder - but it basically works, so I'm happy enough.
2 Likes