Stamattina mi è venuto un colpo quando ho notato che il mio #FreshRSS non ha accumulato nessun nuovo elemento da ieri sera… cosa che ovviamente è sintomo di un problema, perché ho quasi 700 fonti #RSS, di cui alcuni che normalmente non stanno mai in silenzio. 😩️
Vado a vedere nei #log, ed è da ieri sera che a caso è iniziato uno spam di #errori “SQL error addEntry: HY000: 21 bad parameter or other API misuse while adding entry in feed 417 with title: […]”. Stranamente 1 #feed ha continuato ad aggiornarsi a quanto pare, ma la maggior parte no. Ovviamente, il file del #database in sé posso scommettere che non si è corrotto, perché è su archiviazione interna che si è altrimenti dimostrata affidabile, e sul mio sistema non sono successe cose pazze ultimamente… ma magari si è #corrotto mesi e mesi fa (possibile, perché mi dava problemini di altro tipo da tanto tempo), quando ancora non avevo il #server buono che ho ora, ma un Raspino che saltava ogni giorno. O magari semplicemente l’universo mi odia, sarebbe plausibile considerando il resto della mia vita. 🌋️
Ovviamente, ho cercato sul web, e nessuno ha mai avuto il mio stesso identico #problema. Fortunatamente, sembra che si sia tutto risolto creando un nuovo #file di database (copiando prima tutti i #dati dal vecchio, con sqlite3 old.sqlite ".dump { tutte le tabelle }" | sqlite3 new.sqlite); ha dato qualche errore riguardo una manciata di entry al momento della clonazione, ma intanto ora il mio #aggregatore funge senza #rogne. La mattinata è salva, posso risparmiarmi dal dover tirare un numero di imprecazioni al cielo pari al numero di sorgenti da importare su un nuovo profilo o #software. 😤️
Ora che mi sto ricordando, almeno quelli #pubblici sto potendo importarli nel mio #lettore di #feed, tramite #RSSHub, che mi genera i documenti #RSS per qualunque #canale. 💬
Però… la media di #interfaccia di un #aggregatore non è granché adatta a consumare #post di quel tipo, spesso tanti e corti. E allora toh, in qualche quarto d’ora ho creato dei #tweak per la mia #istanza#FreshRSS, che tagliano di molto i pezzi inutili della #UI quando navigo nella mia cartella fatta apposta (mentre per tutte le altre fonti non c’è alcuna #modifica). 🖌️