Are you getting red and green pulsing, or just on full? If it's on full then it's actually not connecting and maybe you could try using an extension lead in case there is some issue when plugging it directly into your usb port?
If they are pulsing, please could you open a terminal and type ls -l /dev | grep usb
It might help to narrow down if this is a hardware issue or something to do with the web ide.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Are you getting red and green pulsing, or just on full? If it's on full then it's actually not connecting and maybe you could try using an extension lead in case there is some issue when plugging it directly into your usb port?
If they are pulsing, please could you open a terminal and type
ls -l /dev | grep usb
It might help to narrow down if this is a hardware issue or something to do with the web ide.