Firefox: differenze tra le versioni

m
→‎Installazione manuale: correzione refuso e aggiunta di qualche spazio per aumentare la leggibilità del codice
m (→‎Installazione manuale: correzione refuso e aggiunta di qualche spazio per aumentare la leggibilità del codice)
Riga 52: Riga 52:


=== Installazione manuale ===
=== Installazione manuale ===
Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente procedere alla sua installazione in maniera manuale.
Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente possibile procedere alla sua installazione in maniera manuale.
; Installazione dal sito ufficiale di Mozilla:Questa è in assoluto la procedura più utilizzata. È sufficiente visitare il sito https://addons.mozilla.org/ e scegliere l'estensione voluta tra le migliaia presenti.
; Installazione dal sito ufficiale di Mozilla: Questa è in assoluto la procedura più utilizzata. È sufficiente visitare il sito https://addons.mozilla.org/ e scegliere l'estensione voluta tra le migliaia presenti.
; Installazione del file .xpi: Nel caso si possegga il file compresso con estensione "xpi", è possibile installarlo andando in "Strumenti→Componenti aggiuntivi→Estensioni" e poi cliccare il alto a destra e scegliere "Installa componente aggiuntivo da file...".<br/>Questo metodo è sconsigliato per motivi di sicurezza: questa potrebbe essere compromessa da estensioni non verificate da Mozilla.
; Installazione del file .xpi: Nel caso si possegga il file compresso con estensione "xpi", è possibile installarlo andando in "Strumenti→Componenti aggiuntivi→Estensioni" e poi cliccare il alto a destra e scegliere "Installa componente aggiuntivo da file...".<br/> Questo metodo è sconsigliato per motivi di sicurezza: questa potrebbe essere compromessa da estensioni non verificate da Mozilla.
; Installare un'estensione per tutti gli utenti:Se si vuol installare manualmente un'estensione e abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata:<br/>1) Installare i pacchetti necessari:<pre># apt-get install unzip xmlstarlet</pre>2) Scaricare il file .xpi relativo all'estensione che si vuole abilitare<br/>3) Copiare questa funzione nel terminale (si consiglia di aggiungerla al proprio file <code>.bashrc</code> o comunque al file usato per l'inizializzazione della [[bash|shell]] interattiva in uso, per non doverla copiare ogni volta):<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>4) 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>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/iceweasel/browser/extensions/</code> :<pre># mv {a01eb24f-2740-49df-8937-2abb1cd08f8a}.xpi /usr/lib/iceweasel/browser/extensions/</pre>7) Riavviare Iceweasel per rendere effettivi i cambiamenti e attivare l'estensione nel proprio profilo.<br/><br/>Si noti che, non utilizzando [[APT]], il sistema non si occuperà dell'aggiornamento dell'estensione. Quando una nuova versione è disponibile, sarà quindi necessario ripetere questa procedura.
; Installare un'estensione per tutti gli utenti: Se si vuol installare manualmente un'estensione e abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata:<br/> 1) Installare i pacchetti necessari: <pre># apt-get install unzip xmlstarlet</pre> 2) Scaricare il file .xpi relativo all'estensione che si vuole abilitare<br/> 3) Copiare questa funzione nel terminale (si consiglia di aggiungerla al proprio file <code>.bashrc</code> o comunque al file usato per l'inizializzazione della [[bash|shell]] interattiva in uso, per non doverla copiare ogni volta): <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> 4) 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> 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/iceweasel/browser/extensions/</code> <pre># mv {a01eb24f-2740-49df-8937-2abb1cd08f8a}.xpi /usr/lib/iceweasel/browser/extensions/</pre> 7) Riavviare Iceweasel per rendere effettivi i cambiamenti e attivare l'estensione nel proprio profilo.<br/><br/> Si noti che, non utilizzando [[APT]], il sistema non si occuperà dell'aggiornamento dell'estensione. Quando una nuova versione è disponibile, sarà quindi necessario ripetere questa procedura.


=== Disabilitare l'installazione delle estensioni ===
=== Disabilitare l'installazione delle estensioni ===
317

contributi