• TheJesusaurus@piefed.ca
    link
    fedilink
    English
    arrow-up
    37
    ·
    7 hours ago

    Again, not that they won’t follow, it’s that the name hasn’t changed. Trump can do what he likes and he can probably force the executive branch to use the name in official documentation, but other than that this stunt means nothing

    • frongt@lemmy.zip
      link
      fedilink
      English
      arrow-up
      3
      ·
      2 hours ago

      The name of something is not an inherent property of that thing. All names are assigned.

    • John@lemmy.ml
      link
      fedilink
      English
      arrow-up
      17
      ·
      5 hours ago

      Hi, I work in the map industry. We generally don’t get to decide what names to use for features. We apply what the local official name is (to simplify). That’s why if you’re in country A, feature X might be named something different than if you’re in country B. You can imagine this would (and has) caused many conflicts around the world if we didn’t display the local official name. (Switch your region via VPN and you can see this in action)

      If Google renamed it to Gulf of America, no Google didn’t, not really … They just inserted the new official name for that feature according to GNIS.

    • Blibly@lemmy.world
      link
      fedilink
      English
      arrow-up
      29
      ·
      6 hours ago

      And Google are a bunch of evil techdicks so of course they suck up to the orange fuhrer.

      • TheJesusaurus@piefed.ca
        link
        fedilink
        English
        arrow-up
        1
        ·
        4 hours ago

        Well I mean I can guarantee they won’t be changed around some parts of it lol. What kind of dumbass question is this? You think changing a sign makes something real?

          • TheJesusaurus@piefed.ca
            link
            fedilink
            English
            arrow-up
            1
            ·
            2 hours ago

            What official matters? There is undoubtedly now be some official documentation with this name on it. There will be lots that isn’t.

            Let me ask you then. Personally in your view what is the name of that lake

            • architect@thelemmy.club
              link
              fedilink
              English
              arrow-up
              1
              ·
              1 hour ago

              You should ask a kid that when they grow up with Gulf of America and Lake America or wherever we’re at now after being on their phones for their entire lives, not people that have grown up with the entirely different name and old name.