Previously I was able to output the tilde symbol in my bash terminal by pressing `F10`. Now when I press `F10` I get two characters: `1~`. Same goes for `F9`/`F11`/`F12`. Weirdly, the other function keys `F1`-`F8` give me a tilde, but I want `F10` to be my tilde key.

Any ideas how to fix this?