They do release a gdbserver for Linux, and they gave you the path. For the release current as of today (12/2022) it is at:$  ls -lR /opt/st/stm32cubeide_1.11.0/plugins/com.st.stm32cube.ide.mcu.externaltools.stlink-gdb-server.linux64_2.0.400.20220928...