How to undo automatic character replacement in gnome-terminal?

0

I've created an annoying feature that I can't undo. While installing some different terminal themes, I installed a script that replaces some of my terminal characters with symbols when I'm typing, such as replacing > (right carrot) with ⇒ (double right arrow). I have tried resetting the shell, purging and reinstalling gnome-terminal, deleting .bashrc, etc., and I can't get this behavior to stop. I didn't realize this behavior until a few days after playing around with themes, so I can't recreate my steps to figure out what I installed that caused it.

Any suggestions?

(I'm running Debian 9.8 Stretch, gnome-terminal 3.22.2)

user3037237

Posted 2019-04-16T11:56:09.517

Reputation: 3

Hello and welcome to SuperUser! Can you try changing the terminal font to a default one? Looks like you installed a font wit ligatures, like Fira Code.

– Mr Shunz – 2019-04-16T12:07:59.060

That's it! What an obvious issue in retrospect. Thanks for the quick response. – user3037237 – 2019-04-16T12:14:09.470

Answers

0

As suspected, you installed a font with ligatures (like Fira Code for example), which replace multiple chars with different (possibly "combined") chars to "beautify" the script.

If you don't like the effect, it's then a matter of changing your terminal font to the default one, or any other one without ligatures.

Mr Shunz

Posted 2019-04-16T11:56:09.517

Reputation: 2 037

It's interesting how OP can face this behavior and how your response could fix it for them... because gnome-terminal doesn't support ligatures. – egmont – 2019-06-23T13:54:18.587

Asked: 2019-04-16T11:56:09.517

Viewed: 30 times

Active: 2019-04-16T12:21:28.543