what is the best linux terminal? I have been using alacritty for years and have been doing well. But I don’t think kitty and st. I was wondering if any new projects have come out in recent years.

You are viewing a single thread.
View all comments View context
1 point

Since we are talking about terminals, you are probably talking about abuse of ligatures

permalink
report
parent
reply
2 points

Well, that was something… I have used ligatures in my code editor for quite a few years now, and I have NEVER been confused about the ambiguity this person is so upset about. Why? I have never ever seen the Unicode character for not equals in a code block, simply since it is not a valid character in any known language. In fact, I have never even seen it in a String where it actually would be legal, probably since nobody knows how to type that using a standard keyboard. This whole article felt like someone with a severe diagnose have locked in on some hypothetical correctness issue, that simply isn’t a problem in the real world.

But, if you for some reason find ligatures confusing, then you shouldn’t use them. But, just to be clear, there is not a right of wrong like this blog post tries to argue, it is a matter of personal taste.

permalink
report
parent
reply
1 point

https://en.m.wikipedia.org/wiki/ALGOL_68

ALGOL 68, mother of all the C-likes, has ≠. There ace quite a few languages support Unicode such as ≠. What is not equals then? Exclamation mark + equals? Forward slash + equals? Tilde + equals? Less than + greater than? Equals + forward slash + equals. What is more clear than all of those aforementioned options from ‘modern programming languages’? 2260Not Equal To. Type what you mean, specifically. Your programming language doesn’t support it? Your language is hurting clarity.

permalink
report
parent
reply
2 points

Good to know that every time I feel the need to use ALGOL 68, I must remember to disable ligatures. Still not sure this is going to be a huge problem 😂

permalink
report
parent
reply

Linux

!linux@lemmy.ml

Create post

From Wikipedia, the free encyclopedia

Linux is a family of open source Unix-like operating systems based on the Linux kernel, an operating system kernel first released on September 17, 1991 by Linus Torvalds. Linux is typically packaged in a Linux distribution (or distro for short).

Distributions include the Linux kernel and supporting system software and libraries, many of which are provided by the GNU Project. Many Linux distributions use the word “Linux” in their name, but the Free Software Foundation uses the name GNU/Linux to emphasize the importance of GNU software, causing some controversy.

Rules

  • Posts must be relevant to operating systems running the Linux kernel. GNU/Linux or otherwise.
  • No misinformation
  • No NSFW content
  • No hate speech, bigotry, etc

Related Communities

Community icon by Alpár-Etele Méder, licensed under CC BY 3.0

Community stats

  • 8.2K

    Monthly active users

  • 3.7K

    Posts

  • 48K

    Comments