On Monday, 17 October 2016 at 17:46:05 UTC, Basile B. wrote:
On Monday, 17 October 2016 at 15:45:56 UTC, ANtlord wrote:On Monday, 17 October 2016 at 15:43:32 UTC, ANtlord wrote:[...]Oh Sorry, I've forgotten about pointing technical parameters. Ubuntu 14.04 GDB 7.7.1 DMD64 D Compiler v2.071.1redirect gdb's output to "ddemangle". This is what I do in the alpha version of Coedit's GDB commander, now in console mode I don't know the exact method.
seems to be: gdb binary_name | ddemangle