Modificare la frequenza di aggiornamento di tutte le RSS in Opera in un colpo solo

Non voglio dire che Opera è il miglior browser del mondo, anche lui ha i suoi difettucci. Solo che dopo 7 anni di compagnia passare a Chrome sarebbe come pugnalare alle spalle il proprio miglior amico. 🙂

Il gestore RSS di Opera è una delle cose più utili a mio avviso, ma anche quello più trascurato dagli sviluppatori. Mancano infatti numerose impostazioni che potrebbero renderlo migliore. In primis il sistema di salvataggio delle feed su disco è a dir poco osceno. Oggi però voglio dirvi come modificare la frequenza di aggiornamento dei vostri feed in un colpo solo. Se avete 80 feed potreste scocciarvi di modificare il parametro uno alla volta.

Per evitare questo aprite in Notepad++ il file index.ini che si trova al path C:\Users\\AppData\Local\Opera\Opera\mail. Fate una ricerca usando questa semplice regex:

e sostituite con:

Il valore va espresso in secondi. Ad esempio se volete una frequenza di aggiornamento di 15 minuti dovrete scrivere "900". Salvate, chiudete e riavviate Opera. Done!

E mentre scrivo questo post sono passato ufficialmente a Google Reader. Che bell'amico che sono. 🙂

P.S.
Mettendo come valore 0 disattiverete tutte le feed. 😉