Just on entry to main (first line) the following warning appears on the console/terminal screen:
'Warning: GDB: Failed to set controlling terminal: Operation not permitted'
but debugging actually works.
A couple of weeks ago I changed the terminal to gnome-terminal -t $TITLE -x in Settings->Environment. I think the warning started to appear after that, but I am not sure. I wanted to verify by putting the previous (default?) terminal back, but I have forgotten the details.
Shall I ignore this warning?