In this question: Bash: I want to type a tilde. Pressing F10 gives me '1~' instead of just '~', the OP eventually posted their own answer, describing how they solved the issue described in the question:
I fixed this my removing ~.inputrc which had nothing useful in it anyway.
Somehow, despite being literally the answer to OP's problem (a really poor solution, but a solution that worked for them nevertheless), the post
- got a comment saying "This does not provide an answer to the question. To critique or request clarification from an author […]"
- was deleted by a moderator.
I assume the commenter didn't realize that the post was by the author, so in this thread I'm mostly wondering whether the mod-deletion was justified.