Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Deligaturizing "=<" #751

Closed
MasonMcGill opened this issue Apr 28, 2019 · 6 comments
Closed

Deligaturizing "=<" #751

MasonMcGill opened this issue Apr 28, 2019 · 6 comments
Labels

Comments

@MasonMcGill
Copy link

I discovered that "=<" is converted to "≤" while writing docopt-style CLI descriptions (--key=<value> turns into --key≤value>). Maybe this is unintentional?

Fantastic work on this project, by the way. I've found it very helpful and enjoyable!

@tonsky
Copy link
Owner

tonsky commented Apr 28, 2019

It’s intentional (I think Erlang uses =< instead of <=), but you raise a valid concern. Maybe it should be removed. Thanks!

@boyedarat
Copy link

Maybe there should be a "FiraCode Terminal" font specially for use in the terminal?
Like what Iosevka does. I believe =< should stay, not removed.

@justme-1968
Copy link

just noticed that in the mac os terminal =< is not contracted into a ligature. don't know if the reason is the fiera code version (old) or if it is a feature of terminal.app.

@miniBill
Copy link

I'm confused, hadn't the =< ligature already been removed?
b96ceee

@mheiber
Copy link

mheiber commented Jul 5, 2020

I installed FiraCode today directly from the repo and am not seeing a ligature for =<. It's too bad, I was hoping for one because =< is indeed "less than or equal to" in Erlang, as @tonsky pointed out.

This does seem like an unfortunate conflict with docopt.

@tonsky
Copy link
Owner

tonsky commented Jul 6, 2020

Yes it was removed. It might come back as a part of Erlang stylistic set, follow #34 for that

@tonsky tonsky closed this as completed Jul 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

6 participants