3 ms·
I was surprised that kitty became 'GPU based'. Then I realized it's an entirely different tool than the kitty fork of putty. I do wish creators of these tools
by heroprotagonist 8y ago
I was surprised that kitty became 'GPU based'. Then I realized it's an entirely different tool than the kitty fork of putty.
I do wish creators of these tools would search for existing names to see if they are already in use. I would not mind if they were tools with sufficiently different purpose. But this just confuses users (and potential users) of either one.
- genocidicbunny 8y agoWorse yet, they're pretty close to each other in purpose upon first glance. I likewise thought this was KiTTY. Had to look up the actual homepage for it to confirm that I was looking at a different tool.
- kimat 8y ago9th issue on their tracker: https://github.com/kovidgoyal/kitty/issues/9 https://github.com/kovidgoyal/kitty/issues/9
- suspectdoubloon 8y agoLooks like its unlikely to get changed, as stated in the last comment of the thread by the owner. https://github.com/kovidgoyal/kitty/issues/9#issuecomment-418566309 https://github.com/kovidgoyal/kitty/issues/9#issuecomment-41...