💾 Archived View for rawtext.club › ~sloum › geminilist › 007642.gmi captured on 2023-11-04 at 12:13:38. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-11-30)

-=-=-=-=-=-=-

<-- back to the mailing list

Case-sensitive hostnames

Michael Lazar lazar.michael22 at gmail.com

Fri Nov 26 20:18:17 GMT 2021

- - - - - - - - - - - - - - - - - - - 

On Sat, Nov 20, 2021 at 2:37 AM Matthias Portzel<matthiasportzel at gmail.com> wrote:

However, I then tried requesting different capitalizations of other popular Gemini capsules. And hardly any of them responded to changed capitalizations. I believe Molly Brown, Agate, Jetforce, and others, do this simple case-sensitive hostname check.

Greetings,

I went to fix this in Jetforce because I don't remember everimplementing a case-insensitive check, but it looks like it alreadyworks! It turns out that if you're using the python standard libraryURL parser, it will automatically lowercase the hostname component foryou.

>
>
> from urllib.parse import urlparse
>
>
>
>
>
> urlparse("gemini://MOZZ.US").hostname'mozz.us'```

=
> gemini://MOZZ.US

- Michael