stochastictrebuchet

  • 0 Posts
  • 58 Comments
Joined 2 年前
cake
Cake day: 2023年6月12日

help-circle

  • I give it a spin every month or so to see how it’s getting on. I’m on macOS.

    Every time I walk away unimpressed, despite its maker’s very deserved esteemed reputation.

    I’m probably not seeing something. What I do see, however, is that I can’t search my scrollback history, nor can I select text without a mouse.

    Also, pressing cmd+, on macOS opens the config inside TextEditor (yes, a separate GUI app) rather than in $EDITOR. It’s a small thing but I couldn’t figure out how to change it. Coming from Kitty, this drove me mad.

    I’m not sure who Ghostty is for. My feeling is it’s aiming to be an excellent, polished experience for casual terminal users. But I didn’t see anything that Kitty or just tmux anywhere can’t do.











  • Any time I read the Kitty docs I’m just in awe of everything its maker, Kovid Goyal, has built for it. Like, not just individual features but entire protocols, which other terminals then adopt.

    I just wish remote session persistence was more of a priority. Goyal dislikes tmux (to put it mildly) but doesn’t suggest an alternative to those who do their work on remote servers. If I’m already organizing my work in tmux over ssh, I might as well do the same locally as well – which unfortunately means missing out on some of Kitty’s best parts.




  • I’ve really been enjoying Vivaldi. It’s also Chromium-based. It’s easy to customize and it has really good tab management. You can group tabs into workspaces, open split panes, and – this one I really appreciate – you can stack tabs by domain. Added bonus is that the company behind it, Vivaldi Technologies, is Norwegian, which ticks the ‘shop European’ box for me.

    As for ad blocking, the shittiness of manifest v3 made me look at options outside the browser rather than rely on extensions. These days I pass all my traffic through adguard, which filters out ads from the request responses. All in all this has been a positive step, because now I can play around with any browser without ever seeing ads.


  • Wonder how easy it is to migrate issues, pipelines, wikis, etc. to a different remote repo provider. Because that’s what comes with what these users are calling for.

    GitHub is a blessing and a curse. Open-source has over-centralized on a MSFT-owned platform that has no qualms with vacuuming up code for its AI.

    But since most developers like myself are already there, it lowers the barrier to opening issues, starting discussions, and contributing code. I don’t want to have to check notifications on 4+ platforms. I don’t want to have to join some Discord or figure out how to search for messages on Element. (I realize I’m part of the problem.)





  • Thanks for teaching me something new!

    So Chromium is based on Blink, which is LGPL – a less viral GPL. Hence, it can serve as a dependency in closed-source software.

    As to the shared heritage of these well-established projects – I don’t know how else to interpret it other than a testament to the complexity of building a decent browser engine.

    Btw, quick shout out to Orion, a rare WebKit browser by the makers of Kagi that’s apparently coming to Linux as well. I’m a monthly supporter. Even though I still mostly use Vivaldi, it’s been coming along really nicely. Proprietary software but idc. I appreciate their unspoken mission statement: pay or be the product. (No-one should be a product, obviously, but that’s capitalism.)