• 1 Post
  • 42 Comments
Joined 1 year ago
cake
Cake day: August 2nd, 2023

help-circle



  • Yeah that’s a common one. If you’re into mechanical keyboards, there are a lot of keycap sets that offer an alternative Control key for the CapsLock position.

    Personally I rebind it to Super (Winkey). I have a couple of keyboards without Windows keys, so I can still have a Super key and don’t miss out on some handy shortcuts.




  • Yeah I remember those early days. KDE had a 1.0 version out in the late 90s, which was perfectly usable as a standalone desktop environment, while at the same time Gnome was little more than a panel with a foot. Early Gnome was an unholy mess and remained so until the late 2.x versions in the mid 2000s. Like how many window managers and file managers did they go through? I believe they even had Enlightenment as the default window manager for a while, and then there was that weird Ximian desktop phase.




  • I’ve no problem with paying for good services

    Exactly. It used to be that netflix was all you needed to get most quality content, and it was a fair deal for customers: you pay a reasonable monthly amount, and you and your family gets convenient access to most streamable movies and TV series.

    Now that quality content is spread out and locked out over half a dozen other streaming services, and subscribing to them all is not just a hassle but also incredibly bad value compared to the original offer.

    In a healthy competitive environment, you would expect companies to counter reduced value by increasing customer value in other ways or by reducing prices, but instead we got price hikes, lots of low quality filler content, crack downs on password sharing, advertising, various unpopular UI changes and other service reductions decreasing value even further.

    To solve this, I think the content producers and streaming services should be split up, because right now they’re not really competitors in a true sence but small monopolies who each clutch the keys to their own little franchises. It should be noted for example that music streaming works a lot better: there are various competitors that each hold a viable content library on their own, so you don’t need more than one music streaming service. IMO that’s because Spotify, Tidal, YT Music, etc. are merely distributors and not the actual producers.



  • Girl = neutral (das Mädchen)

    No idea why lol.

    Mädchen is a diminutive, and all diminutives are grammatically neutral.

    It’s the same in Dutch btw, and my girlfriend who is learning Dutch is frequently abusing this as a cheat code: whenever she doesn’t know the gender of a word, she’ll just use the diminutive and it will automatically be neutral.





  • I don’t think that’s the case anymore.

    I just checked, the time in the UEFI BIOS is in UTC, yet both Linux and Windows 10 display the local time correctly as an offset to UTC. I didn’t have to do anything special for that.

    Edit:

    So I looked a bit deeper into it, and this is apparently controlled by a registry key called RealTimeIsUniversal in [HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\TimeZoneInformation]. You can paste the text below in a .reg file and then import it to set the parameter:

    Windows Registry Editor Version 5.00
    
    [HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Control\TimeZoneInformation]
    "RealTimeIsUniversal"=dword:00000001
    

    I confirmed that this setting exists on my system, but I have no memory of ever manually setting this parameter. It’s documented in the Arch wiki though, so it’s possible that I did set it and forgot about it.

    In any case, if you do a fresh Windows install and your time differs between Linux and Windows , this is what you should check.