💾 Archived View for warmedal.se › ~bjorn › posts › big-update-to-antenna.gmi captured on 2023-07-22 at 17:06:41. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-12-03)

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

BIG update to Antenna

I've spent most of today completely refactoring Antenna. While the biggest change is mostly noticeable for me (improved maintainability), I also added one feature by popular demand:

When entries are added the database now keeps track of which feed they're added from, and if an entry is removed from a feed and the feed is re-submitted that entry will also be removed from Antenna.

I've tested the code as best I could, but please let me know if you find any bugs.

-- CC0 ew0k, 2021-08-15