Firefox: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
esteso il paragrafo "Gestione estensioni"
m (aggiunti link ad altre guide)
(esteso il paragrafo "Gestione estensioni")
Riga 41: Riga 41:


== Gestione delle estensioni ==
== 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.
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>
<pre>
# apt-get install xul-ext-adblock-plus
# 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>
</pre>


6 999

contributi

Menu di navigazione