Good to see that most of the instances have caught up

LW announced they are planning to migrate in the coming weeks: !lemmyworld@lemmy.world

  • @woelkchen@lemmy.worldM
    link
    fedilink
    English
    810 months ago

    19.0 and 19.1 mostly, 19.2 fixed the issues.

    The leading zeros aren’t decorative. Don’t just drop them.

      • @woelkchen@lemmy.worldM
        link
        fedilink
        English
        410 months ago

        In this context it’s just faster to type

        If saving six characters is so crucial, type “.0”, “.1”, and “.2”. Massive productivity boost.

        • FaceDeer
          link
          fedilink
          310 months ago

          You could also drop the “.” in this case, saving another three.

          • @woelkchen@lemmy.worldM
            link
            fedilink
            English
            210 months ago

            You could also drop the “.” in this case, saving another three.

            Even better: drop the number.

            • FaceDeer
              link
              fedilink
              110 months ago

              That’s one step too far, though. There’d be no way to distinguish them without that number.

              • @woelkchen@lemmy.worldM
                link
                fedilink
                English
                110 months ago

                Oh, you were actually serious? I thought we’re making dumb jokes here with claims of willy nilly dropping digits from a version number being significantly faster to type.

                • FaceDeer
                  link
                  fedilink
                  110 months ago

                  Well, semi-serious. Doing this to “save characters” is obviously silly, we’ve spent way more characters discussing how to save characters than could possibly have been saved (and it’s not a valuable “savings” regardless). But I was paying attention to the practicality, because IMO the best silly things are things you can take seriously.