Firefox: differenze tra le versioni

Firefox (visualizza wikitesto)

Versione delle 14:43, 27 nov 2015

1 954 byte aggiunti , 27 nov 2015

esteso il paragrafo "Gestione estensioni"

S3v

6 999

contributi

@@ Riga 41: / Riga 41: @@
 == Gestione delle estensioni ==
-Le estensioni (''add-ons'') possono essere installate direttamente da '''Iceweasel''', in maniera analoga a come avviene su ''Firefox'' e per il solo utente, oppure tramite l'installazione dei pacchetti <code>xul-ext-*</code> desiderati.
+=== Installazione ===
+Le estensioni (''add-ons'') possono essere installate direttamente da '''Iceweasel''', in maniera analoga a come avviene su ''Firefox'' e per il solo utente, oppure tramite l'installazione dei pacchetti <code>xul-ext-*</code> desiderati prelevati dai [[repository]] di Debian.
 Il secondo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero), e inoltre le installa per tutti gli utenti del sistema, abilitandole di default. Gli utenti del sistema potranno comunque disabilitarle, se non le desiderano.
@@ Riga 48: / Riga 49: @@
 <pre>
 # apt-get install xul-ext-adblock-plus
+</pre>
+Nel caso in cui l'estensione voluta non si trovi nei repository, ma si voglia comunque abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata:
+* Installare i pacchetti necessari:<pre># apt-get install unzip xmlstarlet</pre>
+* Scaricare il file .xpi relativo all'estensione che si vuole abilitare
+* Aggiungere le seguenti righe al proprio file <code>.bashrc</code>:<pre>get_extension_id() { &#10;    unzip -qc $1 install.rdf | xmlstarlet sel \ &#10;    -N rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns# \ &#10;    -N em=http://www.mozilla.org/2004/em-rdf# \ &#10;     -t -v \ &#10;     "//rdf:Description[@about='urn:mozilla:install-manifest']/em:id" &#10; }</pre>Seguito da un:<pre>$ source ~/.bashrc</pre>Vedere anche [http://kb.mozillazine.org/Determine_extension_ID qui].
+* Ricavare l'ID dell'estensione con la funzione appena creata. Supponendo che il file sia "nomeestensione.xpi":<pre>$ get_extension_id nomeestensione.xpi &#10;{a01eb24f-2740-49df-8937-2abb1cd08f8a}</pre>
+* Creare in "/usr/lib/iceweasel/browser/extensions/" la directory il cui nome corrisponde all'ID appena trovato:<pre># mkdir /usr/lib/iceweasel/browser/extensions/{a01eb24f-2740-49df-8937-2abb1cd08f8a}</pre>
+* Scompattare il file .xpi in questa directory:<pre># unzip nomeestensione.xpi -d /usr/lib/iceweasel/browser/extensions/{a01eb24f-2740-49df-8937-2abb1cd08f8a}</pre>
+=== Disabilitare l'installazione delle estensioni ===
+Se si sta amministrando una rete con diversi utenti, generalmente è preferibile impedire l'installazione di estensioni (in particolar modo non firmate) che potrebbero introdurre falle di sicurezza nell'intero sistema.<br/>
+Per farlo, aggiungere in fondo al file <code>/etc/iceweasel/pref/iceweasel.js</code> queste righe:
+<pre>
+//Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15
+lockPref("xpinstall.enabled", false);
 </pre>