Thanks for those suggestions.
I am on Ubuntu 12.04 32 bit but will probably upgrade to 14.04 64 bit soon.
dmesg|tail does not show any new messages.
Also I attach a screenshot of the IDE, which was downloaded from the Arduino website.
geoff@geoff-laptop:~/Downloads/arduino-1.0.5$ ls -l /dev/ttyACM
ls: cannot access /dev/ttyACM: No such file or directory
geoff@geoff-laptop:~/Downloads/arduino-1.0.5$ ls -l /dev/ttyUSB
ls: cannot access /dev/ttyUSB: No such file or directory
geoff@geoff-laptop:~/Downloads/arduino-1.0.5$ cd /dev
geoff@geoff-laptop:/dev$ ls
autofs fd loop-control ram1 random stdin tty2 tty33 tty47 tty60 ttyS15 ttyS29 vcs1 vga_arbiter
block full mapper ram10 rfkill stdout tty20 tty34 tty48 tty61 ttyS16 ttyS3 vcs2 vhost-net
bsg fuse mcelog ram11 rtc tty tty21 tty35 tty49 tty62 ttyS17 ttyS30 vcs3 video0
btrfs-control hpet mei ram12 rtc0 tty0 tty22 tty36 tty5 tty63 ttyS18 ttyS31 vcs4 zero
bus input mem ram13 sda tty1 tty23 tty37 tty50 tty7 ttyS19 ttyS4 vcs5
char kmsg net ram14 sda1 tty10 tty24 tty38 tty51 tty8 ttyS2 ttyS5 vcs6
console log network_latency ram15 sda2 tty11 tty25 tty39 tty52 tty9 ttyS20 ttyS6 vcs7
core loop0 network_throughput ram2 sda5 tty12 tty26 tty4 tty53 ttyprintk ttyS21 ttyS7 vcsa
cpu loop1 null ram3 sda6 tty13 tty27 tty40 tty54 ttyS0 ttyS22 ttyS8 vcsa1
cpu_dma_latency loop2 port ram4 sda7 tty14 tty28 tty41 tty55 ttyS1 ttyS23 ttyS9 vcsa2
cuse loop3 ppp ram5 sg0 tty15 tty29 tty42 tty56 ttyS10 ttyS24 uhid vcsa3
disk loop4 psaux ram6 shm tty16 tty3 tty43 tty57 ttyS11 ttyS25 uinput vcsa4
dri loop5 ptmx ram7 snapshot tty17 tty30 tty44 tty58 ttyS12 ttyS26 urandom vcsa5
ecryptfs loop6 pts ram8 snd tty18 tty31 tty45 tty59 ttyS13 ttyS27 v4l vcsa6
fb0 loop7 ram0 ram9 stderr tty19 tty32 tty46 tty6 ttyS14 ttyS28 vcs vcsa7
geoff@geoff-laptop:/dev$ cd -
/home/geoff/Downloads/arduino-1.0.5
geoff@geoff-laptop:~/Downloads/arduino-1.0.5$ sudo ./arduino
Experimental: JNI_OnLoad called.
Stable Library
Native lib Version = RXTX-2.1-7
Java lib Version = RXTX-2.1-7
Binary sketch size: 5,190 bytes (of a 28,672 byte maximum)
processing.app.debug.RunnerException: Couldn’t find a Leonardo on the selected port. Check that you have the correct port selected. If it is correct, try pressing the board's reset button after initiating the upload.
at processing.app.debug.AvrdudeUploader.uploadViaBootloader(AvrdudeUploader.java:153)
at processing.app.debug.AvrdudeUploader.uploadUsingPreferences(AvrdudeUploader.java:67)
at processing.app.Sketch.upload(Sketch.java:1671)
at processing.app.Sketch.exportApplet(Sketch.java:1627)
at processing.app.Sketch.exportApplet(Sketch.java:1599)
at processing.app.Editor$DefaultExportHandler.run(Editor.java:2380)
at java.lang.Thread.run(Thread.java:701)
geoff@geoff-laptop:~/Downloads/arduino-1.0.5$
