982
contributi
Firefox: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m
→Componenti Aggiuntivi: corretto percorsi iceweasel in firefox-esr. + breve nota
m (→Componenti Aggiuntivi: corretto percorsi iceweasel in firefox-esr. + breve nota) |
|||
| Riga 94: | Riga 94: | ||
===== Installare un'estensione per tutti gli utenti ===== | ===== Installare un'estensione per tutti gli utenti ===== | ||
{{Box|Nota|La procedura che seguirà è applicabile a firefox-esr (sino alla versione 52).}} | |||
Se si vuol installare manualmente un'estensione e abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata | Se si vuol installare manualmente un'estensione e abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata | ||
1) Installare i pacchetti necessari: <pre># apt-get install unzip xmlstarlet</pre> | 1) Installare i pacchetti necessari: <pre># apt-get install unzip xmlstarlet</pre> | ||
| Riga 109: | Riga 110: | ||
4) 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> | 4) 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> | ||
5) Rinominare il file .xpi con l'ID appena ricavato: <pre># mv nomeestensione.xpi {a01eb24f-2740-49df-8937-2abb1cd08f8a}.xpi</pre> | 5) Rinominare il file .xpi con l'ID appena ricavato: <pre># mv nomeestensione.xpi {a01eb24f-2740-49df-8937-2abb1cd08f8a}.xpi</pre> | ||
6) Spostare quest'ultimo file nella directory <code>/usr/lib/ | 6) Spostare quest'ultimo file nella directory <code>/usr/lib/firefox-esr/browser/extensions/</code> <pre># mv {a01eb24f-2740-49df-8937-2abb1cd08f8a}.xpi /usr/lib/firefox-esr/browser/extensions/</pre> 7) Riavviare Firefox-esr per rendere effettivi i cambiamenti e attivare l'estensione nel proprio profilo. | ||
Notare che con quest'ultima procedura di installazione, non utilizzando [[APT]], il sistema non si occuperà dell'aggiornamento dell'estensione. Quando una nuova versione sarà disponibile, sarà quindi necessario ripetere l'intera operazione. | Notare che con quest'ultima procedura di installazione, non utilizzando [[APT]], il sistema non si occuperà dell'aggiornamento dell'estensione. Quando una nuova versione sarà disponibile, sarà quindi necessario ripetere l'intera operazione. | ||
| Riga 115: | Riga 116: | ||
=== Disabilitare l'installazione delle estensioni === | === 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/> | 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/ | Per farlo, aggiungere in fondo al file <code>/etc/firefox-esr/pref/firefox-esr.js</code> queste righe: | ||
<pre> | <pre> | ||
//Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15 | //Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15 | ||
lockPref("xpinstall.enabled", false); | lockPref("xpinstall.enabled", false); | ||
</pre> | </pre> | ||
== Approfondimenti == | == Approfondimenti == | ||