Is there an equivalent to the "kill" command? Something like? -exec-kill I'd like to kill the running program, reap the child process, but leave the executable's symbol information still loaded in gdb. The "kill" command seems to do all this but I can't see a "mi" equivalent.
I don't think there is one. One could be added (though for best results you'd have to do it). Using the CLI "kill" command seems fine, though, as well.
Yes, the CLI "kill" command does work. However, it's not "mi" friendly for frontend use. eg: there's no "^done" message afterwards. I'll attempt to implement it and submit a patch, as per the documents.
I've created a python version of "-exec-kill" mi command. Plus some others I needed for my Seergdb gui frontend. https://github.com/epasveer/seer/tree/main/src/resources/mi-python People can freely grab them if they want.