Tempo fa mi ero lamentato del fatto che per svolgere determinate azioni attraverso un portale dell’università di Padova occorresse a tutti i costi usare Internet Explorer, su richiesta del sito ovvero di gestori inesistenti o in età pensionabile. Allora avevo trovato una via relativamente facile: usare Konqueror oppure Opera, opzione non proprio a portata di mano, ad esempio Opera (oltre ad essere proprietario) non è presente per 64 bit e Konqueror non è installabile comodamente per chi usa GNOME.
Dopo un bel po’ di smanettamenti inconcludenti attraverso about:config -> general.useragent.override, tra stringhe buone e strighe cattive, ho trovato un bellissimo plugin per Firefox, di un certo Chris Pederick, sul suo sito. L’installazione è immediata, e una volta completata tutte le opzioni del plugin sono accessibili dal menu Strumenti. Esso non è che una comoda interfaccia per le opzioni che andavo ad editare a mano, ed è presente qualcosa di molto simile in Konqueror. I vantaggi sono la velocità con cui è possibile mascherare il proprio browser, la possibilità di utilizzare da subito una serie di “useragent standard” e di memorizzarne altri in pochi passi.
Ho anche appreso che l’opzione override non è sufficiente, dato che usando questo plugin accedo tranquillamente al portale universitario, ma non ho ancora capito perchè essendo ignorante in materia. Ad ogni modo, per chi volesse modificare le stringhe a manina senza il plugin, queste sono le stringhe immesse dallo switcher per mascherare firefox da IE7 eseguito su Vista:

Gennaio 8, 2008 at 4:53 pm
tutto molto più semplice usando l’extension ‘user agent switcher’
oltretutto, molti siti impostano i javascript a seconda della stringa di identificazione del browser, e dato che spesso il codice java per ie non è compatibile con quello di firefox, si hanno siti che non fungono.
con User agent switcher passare da una stringa all’altra è solo questione di un clic
ciao
Max
Gennaio 8, 2008 at 5:31 pm
Scusa max ma non capisco il tuo commento..user agent switcher è proprio l’estensione di cui parlo nel post..non si capisce se non hai letto bene il post e mi vuoi segnalare tale plugin, o se l’hai conosciuto leggendo il post e l’hai trovato comodo. Quale delle due? ciao!
Gennaio 11, 2008 at 5:04 pm
Lo conoscevo! Ottimo plug-in…