Michal

  • 0 Posts
  • 6 Comments
Joined 4 years ago
Cake day: January 29th, 2021
  • MichaltoLinux•AlmaLinux OS - Future of Alma Linux
    13·
    1 year ago

    I wonder how many users of AlmaLinux depended on that bug-to-bug compatibility. E.g., if you use Alma as testing environment before deploying production RHEL, then the fact that you have a patched Alma is very bad for you. Of course this will be less of an issue for folks who just want a stable server distro.

    I also wonder if anybody knows what Rocky devs are doing?

  • MichaltoLinux•Review: Gnome 40 - The anti-desktop desktop
    5·
    4 years ago

    You might already know that, but Pop is developing a tiling extension for gnome called Pop Shell. I had been using different TWMs for years before I tried Gnome with this extension, and it does its job. It probably isn’t great for people who prefer automatic layouts, but transition from i3/sway to Pop Shell isn’t that hard. I gotta say that I enjoy the polish of Gnome, mostly notification, sound or bluetooth settings, etc. Though InstantOS is trying to achieve something similar with a tiling window manager, which is very interesting, but it’s still in beta, but worth checking out.

  • MichaltoOpen Source•Does anyone know a good open source alternative to Grammerly?
    8·
    4 years ago

    I used LanguageTool for a while with firefox. First, I tested it by running a service locally, but I noticed that with time it used more and more RAM and I had to restart once in a while. But then I moved it to the cheapest instance on DigitalOcean, and it’s running fine so far. I’m assuming it’s the Java garbage collector that just didn’t bother to clean up if it had more RAM available. Not sure, maybe it can be configured but I didn’t look into it.

    Other than that, I pretty much liked it. It’s pretty easy to self-host, and you can also use it in google docs documents if you use that.

  • MichaltoDeGoogle Yourself•*Permanently Deleted*
    4·
    4 years ago

    Anyone aware of a good article comparing different search engines? I’m looking for more in-depth analysis, including where the results come from (Google, Bing, crawler), how they are financed, etc. Some of these claim stuff I can’t easily verify and I was wondering whether anyone did that job for me already.