Firefox: differenze tra le versioni

Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente procedere alla sua installazione in maniera manuale.

; 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.