You could try adding DEFINES+=-DPIN_NAMES_DIRECT=1 to the python file (check out PICO_R1_3.py for an example).
If the package is such that not all pins on a port are brought out it can break the pin naming, so that could be an issue. You could also try explicitly setting the default_console device to Serial1 and see if that helps?
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.
You could try adding
DEFINES+=-DPIN_NAMES_DIRECT=1
to the python file (check outPICO_R1_3.py
for an example).If the package is such that not all pins on a port are brought out it can break the pin naming, so that could be an issue. You could also try explicitly setting the
default_console
device toSerial1
and see if that helps?