mercoledì 11 febbraio 2015

Tampermonkey: il Greasemonkey per Google Chrome

Greasemonkey è una delle estensioni del browser Mozilla Firefox più utilizzate, in quanto consente grazie all'utilizzo di piccoli pezzi di software in linguaggio javascript - chiamati userscript - di personalizzare al volo la navigazione del web, automatizzando compiti ripetitivi, mostrando informazioni aggiuntive, ecc., Vedremo più avanti degli esempi per capire meglio.

Il browser Google Chrome, a partire dalla release 4.0, rilasciata nel febbraio 2010, supporta nativamente gli script di Greasemonkey, che vengono internamente convertiti in estensioni dal browser e trattati come tali. Il creatore di Greasemonkey, Aaron Boodman (che tra l'altro è tra gli sviluppatore di Chrome), precisa però che circa il 15%-25% degli script di Greasemonkey per Firefox non funzionano correttamente su Chrome per via delle differenze tra browser. mentre è facilissimo scaricare e installare le estensioni dal Chrome WebStore, non è così facile installare e scegliere in maniera più personalizzata le proprie estensioni.
Per Google Chrome e Chromium è tuttavia disponibile l'estensione TamperMonkey.

domenica 1 febbraio 2015

Testi dell'intera discografia di Nike Drake e traduzioni in italiano. Ritrovati sul web.


A volte scompaiono, ma una parte di essi vive ancora.
No, non sto parlando di persone, e neanche del grande cantautore di cui parlo nel post.
Ma a volte scompaiono i siti internet, quelli di cui avevamo salvato l'indirizzo nei segnalibri.
Dopo qualche tempo (anno) andiamo a cercarli, ma non ci sono più.
Eppure, una parte di essi vive ancora, nascosta in un enorme archivio, e tali siti possiamo ancora consultarli.