I\'ve been using gdb (in Ubuntu 18.04 for Windows subsystem for Linux if that makes any difference) recently and for some reason the arrow keys do not seem to work. I get th
