3 581
contributi
Firefox: differenze tra le versioni
m
aggiunta sezione esterna per Riferimenti
m (→Installazione manuale: correzione refuso e aggiunta di qualche spazio per aumentare la leggibilità del codice) |
m (aggiunta sezione esterna per Riferimenti) |
||
| Riga 2: | Riga 2: | ||
== Introduzione == | == Introduzione == | ||
[[Iceweasel]] è la versione distribuita in Debian del [[browser]] | [[Iceweasel]] è la versione distribuita in Debian del [[browser]] Mozilla Firefox<sup>[[#Riferimenti|[1]]]</sup>, utilizzato in altre distribuzioni GNU/Linux e per altri sistemi operativi. | ||
In particolare nei [[repository ufficiali]] di Debian è distribuita la versione '''ESR''' ('''''E'''xtended '''S'''upport '''R'''elease''), che è supportata per un anno e viene aggiornata soltanto alla versione ''ESR'' successiva, tramite i repository dedicati agli aggiornamenti di sicurezza o alla successiva [[point release]] di Debian [[stable]].<br/> | In particolare nei [[repository ufficiali]] di Debian è distribuita la versione '''ESR''' ('''''E'''xtended '''S'''upport '''R'''elease''), che è supportata per un anno e viene aggiornata soltanto alla versione ''ESR'' successiva, tramite i repository dedicati agli aggiornamenti di sicurezza o alla successiva [[point release]] di Debian [[stable]].<br/> | ||
| 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 ogni [[release]] di Debian. | 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]<sup>[[#Riferimenti|[2]]]</sup> 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 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 sulle [https://addons.mozilla.org/ 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 72: | Riga 72: | ||
=== Altre guide === | === Altre guide === | ||
* [[Iceweasel & Icedove: i profili]] | * [[Iceweasel & Icedove: i profili]] | ||
=== Riferimenti === | |||
[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 anche per esteso! --><br /> | |||
[3] [https://addons.mozilla.org/ addons] <!-- NOTA: Link presente nella pagina anche per esteso! --> | |||
{{Autori | {{Autori | ||