Hi Adam, I can vouch for that problem on 12.04 too.
mbedders using Dolphin or other File-Manager to copy binaries to the mbed need to take particular care:
copy the binary, then right-click > "safely remove 'mbed Microcontroller'" to force pending copy actions.
Naturally, with your excellent GCC4mbed, the DEPLOY takes care of that perfectly. (The whole GCC4mbed is marvellous, BTW - I tried it yesterday, and was amazed to find that even my hacked libraries work... Many thanks for your work ).
As for the serial terminal, this only seems to work on 12.04 with root privilege, e.g.:
sudo screen /dev/ttyACM0 115200
Without the sudo, as Arthur suspected, this does not work, and gives a cryptic error:
Sorry, could not find a PTY
I haven't been able to make a serial terminal connection with the mbed and Ubuntu 12.04 LTS. I've tried two different computers, two different mbeds, and three different terminal programs. The mbeds show up as /dev/ttyACM0 as usual, and the mbed USB drive shows up. Can anyone confirm this problem? I'm switching back to Ubuntu 10.10 for now.