Qualche giorno fa sul terminale ho scoperto che per inserire il carattere ~ è sufficente premere il tasto Pag Giù.
Provare per credere.

EDIT: Un’altro modo per digitare tilde è Alt Gr + ì