What are you referring to? Inverting scroll wheel direction in macOS is trivial (and one of the first things I change), you just uncheck the "natural scrolling" checkbox.
I found this a few months ago and use it for something totally unrelated to containers -- namely on my Tailnet I have machines on my home LAN which I want to connect to even though they are asleep. I haven't been bothered to learn whether I can set up Wake on Lan requests triggered from my router to get them to wake up on demand even when I'm not on the actual LAN, so instead, when I want to connect to them, I use wait4x with a TCP connection to wait till the machine wakes itself up momentarily every few minutes, and then finally run what I want (which is usually either git pull or sshing into the machine).
Not directly relevant, but my PTAC in NYC started having issues this summer just as things got hot (of course).
The compressor would come on for a few seconds then shut off.
After 2 different HVAC companies quoted me $275 to come out (plus hourly and the repair once they find the issue) and then also told me it would be 10 days before they had availability I finally bit the bullet, bought a $30 multimeter, watched a few videos on how capacitor failure is super common and how to hopefully not kill myself, and after confirming with the multimeter and buying the $7 capacitor everything was right back to working with 2 minutes of work.
I did have a moment where I dreaded thinking I'd need to replace the unit and if so whether I'd want a split put in but for $53K I'd better get a third job... Quite glad not to have had to get too far down this road.
I had something similar happen, but for a gas boiler (hot water radiators). Our was older, but not super old. It would intermittently turn off and we couldn’t figure it out. HVAC Contractor (who we had a maintenance contract with) thought the system was toast and needed a replacement. I noticed a bad capacitor (was blown). HVAC contractor claimed they couldn’t find one through their suppliers. I had two delivered five days later.
When they came back to check the system for a full quote, the tech felt so bad that they just installed the new capacitor for free and we got another few years out of that boiler.
Always a take which sprouts vehement arguments, but this is something macOS gets extremely right, as Cmd-C, Cmd-V, etc. indeed work everywhere including the terminal, and Ctrl-C in the terminal is reliably SIGINT.
I have an interactive tutorial I wrote and teach with which is here: https://github.com/JulianEducation/CommandLineBasics in case it's useful as well. I only have 90 minutes in my case so it's a constant battle to tweak what I can get to with my audience, so there's still lots of things I want to change.
But I think it's very important to have lots of resources here so I'm excited to look at yours.
what is the use case? why wouldn't you use something else (like ansible or puppet or something)? I do not understand why someone would do things like this.
well usually it's already in place, right? maybe at home it wouldn't be, but at work, that stuff would already be in place on the stock OS install.
and I would be afraid to run SSH commands on multiple machines at once in case one of them errored out and needed manual intervention. ansible or puppet would let me know about that stuff.
I guess I don't understand why running a command in multiple places at once is preferable to running a shell script in four places in sequence.
maybe it's me! there is approximately zero chance that running the same script on four of my machines would result in four cleanly run scripts. one or more would fail, and if more than one failed, they would each fail for a different reason.
You said Ansible and Puppet, they are not installed by default on any Linux distributions or BSDs that I know of.
I personally do not prefer "run command in multiple places at once" over "run command in four places in sequence", however. I think it would just be a "random" choice in my case, and I might just write a script that does either. I do not mind as long as it is a one-time thing, but if I would have to do this more than once, I would just automate it, via scripts. I would probably just have it run in sequence.
Mine is here [1], I basically had all of these set already (other than column ui which I don't like), but I suspect that's just because I've probably previously read nice posts by Scott and others talking about them.
Maybe trading alias tips is another useful thing to do though, hence sharing the link.
> shouldn't proof checkers have a database of theorems and be able to fill in the intermediate steps or confirm that it's possible to fill in the missing steps?
This is essentially exactly what Mathlib[1] is, which is Lean's database of mathematics, and which large portions of the FLT project will likely continually contribute into.
