The GPL gives you the right to access and modify the source code of software you use. A lack of copyrights does not mean that the creators have to share the source code with you. In fact, it means that anyone can take GPL software and turn it into closed source software
When did Anthropic make Claude Code a separate subscription? I ask because it is still listed as part of the Pro subscription tier on their website. And because I haven't seen the shit-storm that would no doubt ensue if they did that
The two last code examples are identical, which would seem to be a mistake
I've been using "oldoldstable" as my cutoff for backwards compatibility in several pieces of software I've released. I guess I gotta decide if I start bumping dependencies now or if I wait for the Bookworm to become "oldoldstable" in 2027
None of the proposals would have banned AI usage in upstream projects, but banning AI usage in the context of the Debian project was on the table
What is the AI policy of Arch? I ask because I was unable to find any explicit policy for the project
None of the proposals would have banned AI usage in upstream projects:
Looks like Bun 1.4 is out now: https://bun.com/blog/bun-v1.4
People rarely realize the importance of backups until they've suffered catastrophic data-loss, and even fewer people realize the benefit of having multiple, independent backups. Barely anyone I've talked with in person practice something like the 3-2-1 backup strategy
This breaks down when there are more than one SOURCE file, since each DESTINATION file depends on all source files. This means that $< will always be the first file in SOURCE. For example, if source contains the files 0001-01-01-some-file-name.md and 0002-02-02-some-file-name.md:
$ make -n
mkdir -p destination/0001/01/01/
/bin/bash ./myscript.sh source/0001-01-01-some-file-name.md > destination/0001/01/01/some-file-name.md
mkdir -p destination/0002/02/02/
/bin/bash ./myscript.sh source/0001-01-01-some-file-name.md > destination/0002/02/02/some-file-name.md
OP is probably better off using a scripting language to automate this kind of thing
EDIT: Fixed example filenames
If you mean the "Sign in" button on the top right, then yeah, I've just been staunchly ignoring that. But it turns out that there's also toggle to remove it, so now it's gone!
It's worth noting that there's a single toggle that, to my knowledge, turns off all AI features in Zed. So if you do not object to the presence of this functionality, but simply do not want to use it, then you're probably better off just sticking with upstream.
However, I'm not sure what you mean by "GitHub integration", so that may not be covered. If you simply mean Copilot support, then that is also disabled by the aforementioned toggle