There are pub/sub notifications but it's a bit of a pain to get working. You need an HTTP endpoint the server can reach for push notifications, I think, not long polling.
The GMail web client definitely doesn't create an HTTP endpoint to receive updates. But the API it uses is likely proprietary and private (even if it was built on top of the public API there would be a backend bridging the two)
Sorry, yes, my comment was confusing. I was answering the "how do I get faster notifications in a supported manner" part rather than the "how does the Gmail web UI do this" part.
Comments
I wonder though if also the Gmail interface supports something like this? It seems it's pretty fast at receiving email.
There is this generic tool: https://github.com/pimalaya/himalaya
Himalaya: CLI to Manage Emails - https://news.ycombinator.com/item?id=42366025 - December 2024 (97 comments)
Thanks for this! Exactly what I was looking for.
There are pub/sub notifications but it's a bit of a pain to get working. You need an HTTP endpoint the server can reach for push notifications, I think, not long polling.
The GMail web client definitely doesn't create an HTTP endpoint to receive updates. But the API it uses is likely proprietary and private (even if it was built on top of the public API there would be a backend bridging the two)
Sorry, yes, my comment was confusing. I was answering the "how do I get faster notifications in a supported manner" part rather than the "how does the Gmail web UI do this" part.