I like `tig blame` for this. It has a key (comma, maybe?) that pops back to the file just before the change on the highlighted line so you can quickly work your way backwards through non-changes like you describe. It doesn’t deal with renames well, though.
Yep, the original Zork was a big sprawling game. I originally played the (pirate?) pdp version when I was like 6 years old. A few years ago I took one of the c versions (this one one was run through f2c and then cleaned up by Ian Lance Taylor) and ported it to wasm. I also added in a mapping system using my favorite dungeon map. You can play it at https://dungeo.org/
Basically they feel the main problem with the original antlr is it’s being stifled by its batteries included nature. They’re hoping that splitting it will make each of the runtimes more agile. They don’t mention why the core was rewritten rather than just forking the original.
GitHub could implement that tomorrow—there’s zero technical reason why they couldn’t have a foreign pull request ui. Unfortunately it’s in their vested interest to keep forks on their platform. If anyone were going to implement that it’d be one of the smaller self hosting oriented projects like gittea or its fork with the terrible name I can never remember nor pronounce.
> Unless you have a unified interface to search all those projects at once…
You mean like Google? I can’t imagine ever searching just GitHub for software… I use a search engine and it’ll point me to GitHub or Gitlab or whatever frontend the software is published on.
I also find GitHub’s intra-project search to be so horrible that’s it’s quicker in the long run to just clone the project to my local machine and git grep there. And at least my local git doesn’t inexplicably choose to hide a few relevant results from me the way GitHub constantly does.
I wasn't talking about intra-project searches. But Github does have a search that allows us to put constraints on the results like how web search engines allowed a decade or more ago. This feature is pretty useful that it forms a big part of sourcegraph's business. I do use Google search, but I often end up with Github search when I need to locate a specific type of project.
No, it’s not:
> "Our study did not conclude that the Wow! Signal constituted evidence of a signal emanating from an extraterrestrial civilization. However, null results are instrumental in refining future technosignature searches," the team concludes.
Oh nifty, I hand converted all mine a couple years back. It would have been nice to have that then (or know about it?). I do really like the new deb822 format, having the gpg key inline is nice. I do hope that once this is out there the folks with custom public apt repos will start giving out .sources files directly. Should be more straightforward than all the apt-key junk one used to have to do (especially when a key rotated).
Same. It took me a little bit to get used to it; my initial snap judgment was “this will be more annoying to create via scripting,” but then Ansible added deb822_repository [0] in 2.15 (shortly before Bookworm was released), and then it was no longer a concern.
