Firefox: differenze tra le versioni
m (aggiunti link ad altre guide) |
S3v (discussione | contributi) (esteso il paragrafo "Gestione estensioni") |
||
Riga 41: | Riga 41: | ||
== Gestione delle estensioni == | == Gestione delle estensioni == | ||
Le estensioni (''add-ons'') possono essere installate direttamente da '''Iceweasel''', in maniera analoga a come avviene su ''Firefox'' e per il solo utente, oppure tramite l'installazione dei pacchetti <code>xul-ext-*</code> desiderati. | === Installazione === | ||
Le estensioni (''add-ons'') possono essere installate direttamente da '''Iceweasel''', in maniera analoga a come avviene su ''Firefox'' e per il solo utente, oppure tramite l'installazione dei pacchetti <code>xul-ext-*</code> desiderati prelevati dai [[repository]] di Debian. | |||
Il secondo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero), e inoltre le installa per tutti gli utenti del sistema, abilitandole di default. Gli utenti del sistema potranno comunque disabilitarle, se non le desiderano. | Il secondo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero), e inoltre le installa per tutti gli utenti del sistema, abilitandole di default. Gli utenti del sistema potranno comunque disabilitarle, se non le desiderano. | ||
Riga 48: | Riga 49: | ||
<pre> | <pre> | ||
# apt-get install xul-ext-adblock-plus | # apt-get install xul-ext-adblock-plus | ||
</pre> | |||
Nel caso in cui l'estensione voluta non si trovi nei repository, ma si voglia comunque abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata: | |||
* Installare i pacchetti necessari:<pre># apt-get install unzip xmlstarlet</pre> | |||
* Scaricare il file .xpi relativo all'estensione che si vuole abilitare | |||
* Aggiungere le seguenti righe al proprio file <code>.bashrc</code>:<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>Seguito da un:<pre>$ source ~/.bashrc</pre>Vedere anche [http://kb.mozillazine.org/Determine_extension_ID qui]. | |||
* 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> | |||
* Scompattare il file .xpi in questa directory:<pre># unzip nomeestensione.xpi -d /usr/lib/iceweasel/browser/extensions/{a01eb24f-2740-49df-8937-2abb1cd08f8a}</pre> | |||
=== Disabilitare l'installazione delle estensioni === | |||
Se si sta amministrando una rete con diversi utenti, generalmente è preferibile impedire l'installazione di estensioni (in particolar modo non firmate) che potrebbero introdurre falle di sicurezza nell'intero sistema.<br/> | |||
Per farlo, aggiungere in fondo al file <code>/etc/iceweasel/pref/iceweasel.js</code> queste righe: | |||
<pre> | |||
//Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15 | |||
lockPref("xpinstall.enabled", false); | |||
</pre> | </pre> | ||
Versione delle 14:43, 27 nov 2015
![]() |
Attenzione. Questa guida è da considerarsi abbandonata, per via del tempo trascorso dall'ultima verifica.
Potrà essere resa obsoleta, previa segnalazione sul forum, se nessuno si propone per l'adozione. |
![]() Debian 8 "jessie" |
Introduzione
Iceweasel è la versione distribuita in Debian del browser Mozilla Firefox, utilizzato in altre distribuzioni GNU/Linux e per altri sistemi operativi.
In particolare nei repository ufficiali di Debian è distribuita la versione ESR (Extended Support Release), 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.
Per installare una versione più aggiornata è necessario invece aggiungere i backports non ufficiali, come vedremo in seguito.
Se si installa un qualsiasi ambiente desktop completo, che è il caso se lo si seleziona durante la fase di installazione, allora iceweasel
nell'ultima versione ESR sarà automaticamente installato nel sistema.
Firefox e Iceweasel
Anche se il browser Firefox è open source, il suo logo non lo è e inoltre il nome è un marchio registrato, che è possibile utilizzare per fork e progetti derivati soltanto con il permesso esplicito di Mozilla. Ciò si applicherebbe quindi anche per le possibili patch applicate dai Debian Developer al pacchetto Debian, che dovrebbero venire approvate prima di poter essere distribuite con il nome di Firefox.
Essendo questo metodo di sviluppo non compatibile con le linee guida di Debian, nel 2007 il software ottenuto a partire da Firefox, ossia il browser con un nuovo logo libero e con le patch applicate dai DD è stato chiamato Iceweasel: continua a basarsi sui rilasci ufficiali di Firefox e, a parte questa differenza estetica, si può considerare quasi uguale.
Installazione di Iceweasel
Installare la versione ESR
È la versione presente di default in un Desktop Environment completo. Se non fosse installato, perché si è scelto un ambiente più personalizzato o minimale, con privilegi di amministrazione e APT è sufficiente:
# apt-get install iceweasel
La localizzazione italiana è resa disponibile dal pacchetto iceweasel-l10n-it
, che è una dipendenza di task-italian-desktop
, che si occupa della localizzazione di tutti i programmi principali e dovrebbe essere già installato.
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 mozilla.debian.net per ogni release di Debian.
Nel caso di Debian 8 (Jessie), è necessario con privilegi di amministrazione:
- installare il pacchetto
pkg-mozilla-archive-keyring
, contenente la chiave pubblica del repository di mozilla.debian.net, per poter verificare l'autenticità dei pacchetti installati:# apt-get install pkg-mozilla-archive-keyring
- aggiornare
/etc/apt/sources.list
oppure creare un file.list
, per esempioiceweasel.list
, nella directory/etc/apt/sources.list.d/
, contenente il repository di mozilla.debian.net per Jessie. È sufficiente il comando:# echo "deb http://mozilla.debian.net/ jessie-backports iceweasel-release" > /etc/apt/sources.list.d/iceweasel.list && echo ok
(restituirà "ok" se non ci sono errori) - aggiornare la lista dei pacchetti:
# apt-get update
- installare la versione più aggiornata di
iceweasel
:# apt-get -t jessie-backports install iceweasel
Aggiornamento di Iceweasel
L'aggiornamento verrà effettuato automaticamente da APT come per gli altri pacchetti del sistema, quando una nuova versione ESR o release di Iceweasel sarà rilasciata, in base a quella installata.
Affinché sia rilasciata una nuova versione di Iceweasel è necessario che:
- sia prima rilasciata la nuova versione di Firefox;
- che su questa versione siano applicate le patch di Iceweasel senza errori;
- e infine che dai test condotti non vengano riscontrati problemi.
Gestione delle estensioni
Installazione
Le estensioni (add-ons) possono essere installate direttamente da Iceweasel, in maniera analoga a come avviene su Firefox e per il solo utente, oppure tramite l'installazione dei pacchetti xul-ext-*
desiderati prelevati dai repository di Debian.
Il secondo metodo garantisce che le estensioni rispettino le DFSG (e quindi siano software libero), e inoltre le installa per tutti gli utenti del sistema, abilitandole di default. Gli utenti del sistema potranno comunque disabilitarle, se non le desiderano.
Per esempio per installare Adblock Plus per tutti gli utenti del sistema, basta:
# apt-get install xul-ext-adblock-plus
Nel caso in cui l'estensione voluta non si trovi nei repository, ma si voglia comunque abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata:
- Installare i pacchetti necessari:
# apt-get install unzip xmlstarlet
- Scaricare il file .xpi relativo all'estensione che si vuole abilitare
- Aggiungere le seguenti righe al proprio file
.bashrc
: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" }
Seguito da un:$ source ~/.bashrc
Vedere anche qui. - Ricavare l'ID dell'estensione con la funzione appena creata. Supponendo che il file sia "nomeestensione.xpi":
$ get_extension_id nomeestensione.xpi {a01eb24f-2740-49df-8937-2abb1cd08f8a}
- Creare in "/usr/lib/iceweasel/browser/extensions/" la directory il cui nome corrisponde all'ID appena trovato:
# mkdir /usr/lib/iceweasel/browser/extensions/{a01eb24f-2740-49df-8937-2abb1cd08f8a}
- Scompattare il file .xpi in questa directory:
# unzip nomeestensione.xpi -d /usr/lib/iceweasel/browser/extensions/{a01eb24f-2740-49df-8937-2abb1cd08f8a}
Disabilitare l'installazione delle estensioni
Se si sta amministrando una rete con diversi utenti, generalmente è preferibile impedire l'installazione di estensioni (in particolar modo non firmate) che potrebbero introdurre falle di sicurezza nell'intero sistema.
Per farlo, aggiungere in fondo al file /etc/iceweasel/pref/iceweasel.js
queste righe:
//Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15 lockPref("xpinstall.enabled", false);
Approfondimenti
Altre guide
Manuale
Per le opzioni a linea di comando:
$ man iceweasel
Guida scritta da: BubuXP 13:00, 19 mag 2015 (CEST) | ![]() |
Estesa da: | |
Verificata da:
| |
Verificare ed estendere la guida | Cos'è una guida Debianized |