I noticed in your debugging doc that you are having people copy the .gdbinit file. In my php7dev vagrant image I just have a symlink from ~/.gdbinit to ~/php-src/.gdbinit which makes it a bit easier. It means you always have the right .gdbinit for whichever branch you have checked out and you don't need that extra step in the doc.
I noticed in your debugging doc that you are having people copy the .gdbinit file. In my php7dev vagrant image I just have a symlink from ~/.gdbinit to ~/php-src/.gdbinit which makes it a bit easier. It means you always have the right .gdbinit for whichever branch you have checked out and you don't need that extra step in the doc.