3 581
contributi
m (→Installazione manuale: aggiunte virgolette alla funzione (forse errore specifico di zsh)) |
|||
Riga 55: | Riga 55: | ||
* Installare i pacchetti necessari:<pre># apt-get install unzip xmlstarlet</pre> | * Installare i pacchetti necessari:<pre># apt-get install unzip xmlstarlet</pre> | ||
* Scaricare il file .xpi relativo all'estensione che si vuole abilitare | * Scaricare il file .xpi relativo all'estensione che si vuole abilitare | ||
* 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> | * 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> | ||
* 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> | * 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> | ||
* Creare in "/usr/lib/iceweasel/browser/extensions/" la directory il cui nome corrisponde all'ID appena trovato:<pre># mkdir /usr/lib/iceweasel/browser/extensions/\{a01eb24f-2740-49df-8937-2abb1cd08f8a\}</pre> | * Creare in "/usr/lib/iceweasel/browser/extensions/" la directory il cui nome corrisponde all'ID appena trovato:<pre># mkdir /usr/lib/iceweasel/browser/extensions/\{a01eb24f-2740-49df-8937-2abb1cd08f8a\}</pre> |
contributi