@Egmont: thank you for your input. I just added "gnome-terminal" package in Ubuntu. I hope it is alright for you.
Note that I no longer have this issue on my side. @giannione: do you have this bug with Wayland too? I think you can send a few useful info by using a command like "ubuntu-bug -u 1790100" (I don't remember if you need do add "-p gnome-terminal"). -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1790100 Title: unable to write ~ and ^ chars in the terminal To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1790100/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
