Firefox: differenze tra le versioni

m
→‎Installazione manuale: aggiunte virgolette alla funzione (forse errore specifico di zsh)
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() {&#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>
* 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>
* 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>
* 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>
* 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>
3 581

contributi