Howto change output pin

[geronet1]

I would like to change the output to Serial1 on an ESP8266, how is this possible?
Serial (UART0) is already used for bus communication and i need the hardware UART.

With
#define SERIAL_DEBUG_IMPL Serial1
before including FormattingSerialDebug.h it doesn't work.

[rlogiacco]

What do you mean with "it doesn't work"? Do you get a compilation error?
Sorry for the very late reply.