Voeg Reddit RSS-feeds toe aan Feedly

Dit is er eentje in de categorie “probleem dat al jaren bestaat en blijkbaar niet opgelost wordt”. Reddit.com is een van de grote sites die wél nog gewoon RSS-feeds aanbiedt van de verschillende communities.

En dat is handig, want als je niet zo’n dagelijkse Reddit gebruiker bent, dan kun je via bijvoorbeeld Feedly gemakkelijk op de hoogte blijven van nieuwe berichten. Maar laat nou juist dat Feedly grote problemen hebben met het bijwerken van de Reddit RSS-feeds. Dit bericht bij Reddit is van 2 jaar geleden en ook vandaag werkt het nog niet. Je kunt een feed wel toevoegen, maar in het beste geval zie je oude berichten van een paar maanden geleden.

De reactie van Feedly was dat ze steeds geblokkeerd werden door Reddit omdat ze populaire feeds te vaak wilden bijwerken. Tja.
Als je een eigen webserver hebt waar je PHP-pagina’s kunt plaatsen dan heeft deze site daar een oplossing voor. Het idee is dat je een eenvoudige PHP pagina aanmaakt met de volgende code:

<?php
header('Content-Type: application/xml; charset=utf-8');
header("Cache-Control: no-store, no-cache, must-revalidate, max-age=0");
header("Cache-Control: post-check=0, pre-check=0", false);
header("Pragma: no-cache");
echo file_get_contents("https://www.reddit.com/r/RTLSDR/new/.xml");
?>

Deze code haalt de RSS feed van de gewenste community op, in mijn geval van https://www.reddit.com/r/RTLSDR
Wil je de feed van een andere community volgen, dan moet je een tweede, derde, vierde etc bestand maken met steeds een wat andere naam.
De URL van het bestand geef je dan uiteindelijk aan Feedly door. Dan kun je wél de RSS-feed volgen:

Het is een beetje omslachtig, maar het werkt.