Having said that, the easiest solution might just be to use Offline mode - also in settings. Just follow the instructions there - you can download a zip using your browser which will have a network connection, then upload it via the 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.
Presumably you could use
localhost
and3128
. Does anything useful get written to the console window in settings?If you're interested in how it works I believe it is simply: https://github.com/espruino/EspruinoTools/blob/gh-pages/core/utils.js#L363
Having said that, the easiest solution might just be to use Offline mode - also in settings. Just follow the instructions there - you can download a zip using your browser which will have a network connection, then upload it via the IDE.