3 581
contributi
Firefox: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
m
sistemati riferimenti
m (→Riferimenti) |
m (sistemati riferimenti) |
||
| Riga 24: | Riga 24: | ||
=== Installare l'ultima versione rilasciata === | === Installare l'ultima versione rilasciata === | ||
Per installare la versione più recente rilasciata, ossia la versione '''release''' anziché la '''ESR''', che viene aggiornata ogni 6 settimane invece che ogni anno, è necessaria l'aggiunta dei backports non ufficiali, come già accennato. La procedura esatta è descritta su [http://mozilla.debian.net/ mozilla.debian.net] | Per installare la versione più recente rilasciata, ossia la versione '''release''' anziché la '''ESR''', che viene aggiornata ogni 6 settimane invece che ogni anno, è necessaria l'aggiunta dei backports non ufficiali, come già accennato. La procedura esatta è descritta su [http://mozilla.debian.net/ mozilla.debian.net] per ogni [[release]] di Debian. | ||
Nel caso di Debian 8 ([[Jessie]]), è necessario con [[privilegi di amministrazione]]: | Nel caso di Debian 8 ([[Jessie]]), è necessario con [[privilegi di amministrazione]]: | ||
| Riga 53: | Riga 53: | ||
=== Installazione manuale === | === Installazione manuale === | ||
Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente possibile 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 sulle | ; Installazione dal sito ufficiale di Mozilla: Questa è in assoluto la procedura più utilizzata. È sufficiente visitare il sito sulle '''addons<sup>[[#Riferimenti|[3]]]</sup>''' 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() { 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> 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> 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() { 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> 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> 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. | ||
| Riga 75: | Riga 75: | ||
=== Riferimenti === | === Riferimenti === | ||
[1] [https://www.mozilla.org/it/firefox/desktop/ Sito ufficiale di Mozilla Firefox]<br /> | [1] [https://www.mozilla.org/it/firefox/desktop/ Sito ufficiale di Mozilla Firefox]<br /> | ||
[2] [http://mozilla.debian.net Backports non ufficiali di Mozilla] <!-- NOTA: Link presente nella pagina | [2] [http://mozilla.debian.net Backports non ufficiali di Mozilla] <!-- NOTA: Link presente nella pagina per esteso! --><br /> | ||
[3] [https://addons.mozilla.org/ Addons per Firefox/Iceweasel] | [3] [https://addons.mozilla.org/ Addons per Firefox/Iceweasel] | ||
{{Autori | {{Autori | ||