Difficulty uploading via Arduino (OSX)

I don’t know whether someone is ‘looking into this’, but there is some info regarding hooking up an external reset button in
Hardware reset button

that might be worth doing.