6 999
contributi
Firefox: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
esteso il paragrafo "Gestione estensioni"
m (aggiunti link ad altre guide) |
S3v (discussione | contributi) (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() { unzip -qc $1 install.rdf | xmlstarlet sel \ -N rdf=http://www.w3.org/1999/02/22-rdf-syntax-ns# \ -N em=http://www.mozilla.org/2004/em-rdf# \ -t -v \ "//rdf:Description[@about='urn:mozilla:install-manifest']/em:id" }</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 {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> | ||