4 ms·
It's a shame it's named kitty though. https://github.com/kovidgoyal/kitty/issues/9 https://github.com/kovidgoyal/kitty/issues/9
by Murrawhip 7y ago
It's a shame it's named kitty though.
https://github.com/kovidgoyal/kitty/issues/9 https://github.com/kovidgoyal/kitty/issues/9
- jodrellblank 7y agoIts GPL v3 licensed, any one of those complaining people could fork it and name it what they want it to be called.
- saagarjha 7y agoThat wouldn’t solve the issue. In fact it might the problem worse.
- jodrellblank 7y agoWouldn't it? If the complaint is that the project is too hard to find and too hard to form any kind of online community (searchable blog posts, forum posts, etc) around, then a fork with a more distinctive name should become the dominant version by accreting the larger userbase.
- deleted 7y ago[deleted]
- voxl 7y agoThis is the most ridiculous bikeshedding I've ever seen, I'm glad he didn't cave to the ridiculous request to rename it.
- SquareWheel 7y agoUntil reading the issue, I assumed it was the fork of PuTTY. That's an absolutely terrible name.