Forgetting which branch a set of changes was originally stashed on, having stash conflicts (and forgetting to drop the top of the stash once you've fixed it) are common.
I've probably just learned to ignore a lot of that. Stash conflicts are annoying. And I have a long list of stashed changes that I should just purge at this point.
All the discussion here has me very interested to look at jj, though. Although most of my git interaction these days is through magit, and changing that will probably be hard.
I turn off autoplay globally because it's been abused for so long by some news sites, for example, that autoplay a video and then pin it to follow you as you scroll the article.
I find any autoplay, even muted or no audio, to be more of a distraction then helpful in general.
That said, I'm happy to make exceptions for well designed and intentioned sites, and so have allowed it on yours.
I went to have a look and maybe wishlist it, but at that price it was an easy impulse to just buy with DLC to support you. Good luck with your future games.
I had been using the history append for years before finding atuin a couple years ago. I still occassionally lost history through some combination of events I was never able to understand.
I've been using atuin happily for a few years now and it blows bash history out of the water.
> In other systems I could say “<tool name> create branch x from parent y”.
While the default of `git branch` is to branch from the commit you have checked out, the command does take an optional argument for the start point of the new branch:
Are the ports in pairs at each location? Then it sounds like they did a Very Bad Thing and ran one cable per pair of ports; 100Mbps uses two pairs, so why use two cables when one cable has four pairs, right? :(
I've seen that a lot in much older installations, but I'd expect better from 2015 construction.
I'm busy retrofitting Ethernet in my house by pulling cat6 through the walls and pulling out the old cat3 phone cabling. It's much harder work doing two cables (not least because none of the phone cables were in conduit, so it just starts off harder already) for each pair of ports, but it's very much worth the effort.
there are a variety of ways to screw that up. i've seen a house that has a bunch of cat 5e run, but the installer stapled it down, and most of the cables have a staple through them somewhere along the run, killing a pair or two.
Cat7 is not a recognized standard by TIA/EIA, but there apparently is an ISO standard for it. Also, cat7 doesn't use RJ-45 connectors so it's not backwards compatible with older gear.
Cat6a is probably the sweet spot for home/office/etc structural cabling. It's not much more expensive than Cat6 (or Cat5e in case people are still putting that up), and has more than enough legroom.
Cat Cat6a is a pain to retrofit as it's stiffer and thicker than Cat6 in most cases. It's also more expensive (less so than before, but the delta is still there)
If each run is <55m then Cat6 can still do 10Gbps.