I think I have a pretty good developer env going on, but I’m always looking for more things I haven’t thought of.
So does anybody have any uber useful, or fun, or just a general favorite shell/terminal setup or tool?
https://github.com/kovidgoyal/kitty/issues/2511
Stuff in this Microsoft GitHub thread… no alpha, no color profiles, etc. Kitty has some of the best performance for terminal emulators too for graphics.
please don’t write “Microsoft Github”. I know it’s been true for years, but just out of respect for what it once was, can you just call it “Github”
Microsoft Windows. Microsoft Exchange. Microsoft Office. Microsoft Word. Microsoft Teams. Microsoft SwiftKey. Microsoft Bing. Microsoft SQL Server. …So yes, Microsoft GitHub unless we want to fail to recognize their neo-EEE strategy of purchasing/creating of as well npm, Azure, LinkedIn, VSCode, Language Server Protocol, TypeScript, etc. & trying to create “the ecosystem”.
But also, zero respect for MS GitHub. Code forges now turned into a social media & marketing platforms, you have starhacking, anxiety for how green your chart is, pressure to build a portfolio on a proprietary + non-self-hosted platform. They have always required you create an account to submit patches. They also invented the horrible pull request model that doesn’t scale + blocks/slows teams down significantly; it also turns maintainers into commenters instead of merging patches & changing to fit their nits later instead putting all of the onus on contributors that usually just want a fix in—not to understand the maintainers whole process or even chosen programming language. It is bad. Gaining the seemingly-unshakable popularity the platfrom has, even the alternatives continue to copy MS GitHub’s bad ideas & propagate these ideas for ‘compatibility’ offering very little beyond X but FOSS (folks wonder why not a lot of others are moving to Forgejo, well, it doesn’t offer anything new or solves actual UX & workflow problems to be better (rather literally moved from Gitea’s CI to copying all the grossness of Microsoft GitHub’s Actions)). The only thing it did that was good was making free software cool while ironically on a totally proprietary platform.
Github used to be such a great place to discover new coding projects that weren’t corporate monorepos, no other platform came close in that sense of discover ability and the communities that developed around small niche projects.
Also, what’s wrong with PRs? and what’s the alternative?