Firefox: differenze tra le versioni

aggiornata, rimosse le parti sulle estensioni legacy (ormai inutili) e verificata
(integrata guida sui profili ("Iceweasel & Icedove: i profili"))
(aggiornata, rimosse le parti sulle estensioni legacy (ormai inutili) e verificata)
Riga 1: Riga 1:
{{Versioni compatibili|Wheezy|Jessie|Stretch}}
{{Versioni compatibili|Jessie|Stretch|Buster}}


== Introduzione ==
== Introduzione ==
'''Firefox''' è un browser web [[Software Libero|libero]] e multi piattaforma, sviluppato dalla Mozilla Foundation. Punto di forza di questo programma è sempre stata l'alta possibilità di personalizzazione soprattutto grazie alle tante estensioni disponibili nel sito dedicato.
=== Storia di Firefox in Debian ===
Per circa dieci anni, sino a giugno 2016, il browser predefinito nelle release Debian è stato '''Iceweasel''', un fork del [[browser]] Mozilla Firefox<sup>[[#Riferimenti|[2]]]</sup>, realizzato dai [[Debian Developer]] per aggirare le incompatibilità tra le [[Debian Free Software Guidelines]] ([[DFSG]]), la politica di utilizzo del marchio Mozilla<sup>[[#Riferimenti|[3]]]</sup> e le licenze dei loghi.<br />
Per circa dieci anni, sino a giugno 2016, il browser predefinito nelle release Debian è stato '''Iceweasel''', un fork del [[browser]] Mozilla Firefox<sup>[[#Riferimenti|[2]]]</sup>, realizzato dai [[Debian Developer]] per aggirare le incompatibilità tra le [[Debian Free Software Guidelines]] ([[DFSG]]), la politica di utilizzo del marchio Mozilla<sup>[[#Riferimenti|[3]]]</sup> e le licenze dei loghi.<br />
Soluzione intrapresa a seguito della discussione nata dal bug 354622<sup>[[#Riferimenti|[4]]]</sup>. Oltre agli elementi grafici, l'altra problematica da affrontare riguardava la gestione e manutenzione dei binari. Eventuali [[patch]] implementate al [[pacchetto|pacchetto Debian]], sarebbero dovute venire approvate da Mozilla prima di poter essere distribuite con il nome ''Firefox''.
Soluzione intrapresa a seguito della discussione nata dal bug 354622<sup>[[#Riferimenti|[4]]]</sup>. Oltre agli elementi grafici, l'altra problematica da affrontare riguardava la gestione e manutenzione dei binari. Eventuali [[patch]] implementate al [[pacchetto|pacchetto Debian]], sarebbero dovute venire approvate da Mozilla prima di poter essere distribuite con il nome ''Firefox''.
Riga 9: Riga 12:
Questa situazione è stata risolta a febbraio 2016<sup>[[#Riferimenti|[5]]]</sup> con accordi basati sulla fiducia reciproca delle parti chiamate in causa, senza una garanzia formale/contrattuale .<br /> La licenza degli elementi grafici (vettoriali) CC-BY 3.0 è compatibile con le DFSG e il nome ''Firefox'' può essere utilizzato nella pacchettizzazione. Permesso garantito da Mozilla, la quale ha riconosciuto che le patch apportate dagli sviluppatori Debian non influenzano la qualità del prodotto finale.
Questa situazione è stata risolta a febbraio 2016<sup>[[#Riferimenti|[5]]]</sup> con accordi basati sulla fiducia reciproca delle parti chiamate in causa, senza una garanzia formale/contrattuale .<br /> La licenza degli elementi grafici (vettoriali) CC-BY 3.0 è compatibile con le DFSG e il nome ''Firefox'' può essere utilizzato nella pacchettizzazione. Permesso garantito da Mozilla, la quale ha riconosciuto che le patch apportate dagli sviluppatori Debian non influenzano la qualità del prodotto finale.


Attualmente, [http://packages.debian.org/search?keywords=iceweasel iceweasel] è presente solo nei repository di [[jessie]], [[stretch]] e [[unstable]] ([[sid]]) come ''pacchetto di transizione'' a <code>firefox-esr</code> e può essere tranquillamente rimosso.
Attualmente, [http://packages.debian.org/search?keywords=iceweasel iceweasel] è presente solo nei repository come ''pacchetto di transizione'' a <code>firefox-esr</code> e può essere tranquillamente rimosso.


== Firefox ==
=== Estensioni ===
È un browser web open source, multipiattaforma, sviluppato dalla Mozilla Foundation. Punto di forza di questo programma è sempre stata l'alta possibilità di personalizzazione soprattutto grazie alle tante estensioni disponibili nel sito dedicato.
Dalla versione 57 di Firefox, prevista per novembre 2017, tutte le estensioni cosidette ''legacy'' smetteranno di funzionare in favore delle ''webextension''.
 
Le estensioni ''legacy'' saranno supportate sino a giugno 2018 con la versione 52 di Firefox-ESR o comunque con versioni antecedenti la 57. Molte erano installabili per tutti gli utenti con i pacchetti con prefisso ''xul-ext'', mentre ora quelli relativi alle ''webextension'' hanno prefisso ''webext''.


== Installazione di Firefox ==
== Installazione di Firefox ==
Riga 18: Riga 23:


=== Installare Firefox-ESR ===
=== Installare Firefox-ESR ===
È una versione a lungo termine (Extended Support Release) con un ciclo di vita di circa un anno. Gli unici aggiornamenti rilasciati sono quelli di sicurezza.
È una versione a lungo termine ('''''E'''xtended '''S'''upport '''R'''elease'') con un ciclo di vita di circa un anno. Gli unici aggiornamenti rilasciati sono quelli di sicurezza.


È presente di default in un [[Desktop Environment]] completo. Se non fosse installata, perché si è scelto un ambiente più personalizzato o minimale, con [[privilegi di amministrazione]] e [[APT]] è sufficiente:
È presente di default in un [[Desktop Environment]] completo. Se non fosse installata, perché si è scelto un ambiente più personalizzato o minimale, con [[privilegi di amministrazione]] e [[APT]] è sufficiente:
<pre>
<pre>
# apt-get install firefox-esr
# apt install firefox-esr
</pre>
</pre>


La localizzazione italiana è resa disponibile dal [[pacchetto]] <code>firefox-esr-l10n-it</code>.
La localizzazione italiana è resa disponibile dal [[pacchetto]] <code>firefox-esr-l10n-it</code>, che è una dipendenza raccomandata del pacchetto <code>task-italian-desktop</code>.
 
=== Installare Firefox Release manualmente ===
È sufficiente:
# scaricare l'archivio dal sito ufficiale<sup>[[#Riferimenti|[2]]]</sup>;
# estrarlo come [[root]] in <code>/opt/</code>, in modo che abbia utente e gruppo ''root'': <pre># cd /opt && tar xvf /home/utente/Scaricati/firefox*.tar.*</pre>
# creare un link simbolico in <code>/usr/local/bin</code>, per renderlo eseguibile da terminale: <pre># ln -s /opt/firefox/firefox /usr/local/bin/firefox</pre>
# creare un lanciatore con percorso <code>/opt/firefox/firefox</code> per il proprio Desktop Environment.
 
Lo svantaggio di questo metodo è che è necessario ripetere tutta la procedura di installazione da zero a ogni nuovo aggiornamento. Il vantaggio è che non serve mettere mano al [[pinning]].


=== Installare Firefox Release ===
{{Box | Installazione locale | In alternativa è possibile anche installarlo localmente, senza diventare [[root]].<br/>
È la versione ufficiale rilasciata a intervalli di cinque/otto settimane.
In questo caso l'aggiornamento diverrebbe possibile direttamente dal browser, ma si rinuncerebbe alla sicurezza del programma, visto che sarebbe modificabile con i permessi dell'utente da qualunque altra applicazione.}}


{{Cautionbox|Prima di procedere con quanto riportato di seguito, leggere la guida riguardante i [[Repository]] }}
=== Installare Firefox Release dai repository ufficiali ===
È la versione ufficiale rilasciata a intervalli di cinque/otto settimane.
 
Per Debian [[unstable]]/[[sid]] è sufficiente installare il pacchetto <code>firefox</code>. Per altre versioni è invece necessario abilitare prima questo repository.
 
{{Warningbox|Prima di procedere con quanto riportato di seguito, leggere la guida riguardante i [[Repository]], in particolare riguardo il [[Repository & pinning | pinning]].<br/>
Senza un'impostazione adeguata verrebbe effettuato un avanzamento di versione dell'intero sistema direttamente a [[Sid]]! }}
È necessario abilitare il repository [[unstable]] ([[sid]]) aggiungendolo nel proprio sources.list:
È necessario abilitare il repository [[unstable]] ([[sid]]) aggiungendolo nel proprio sources.list:
<pre>deb http://ftp.it.debian.org/debian/ unstable main</pre>
<pre>deb http://deb.debian.org/debian/ unstable main</pre>
poi procedere con l'aggiornamento dell'elenco dei pacchetti e l'installazione
 
<pre># apt-get update
Configurare il [[pinning]] per tutti i repository diversi da quelli per l'attuale stable. Va impostato, incrementandolo, anche per i backports (che di default hanno una <code>Pin-Priority</code> di 100), altrimenti risulterebbero nascosti da quelli di Sid (di default a 500).<br/>
# apt-get install -t unstable firefox
Per esempio, in caso di [[Buster]] con [[backports]] in <code>/etc/apt/preferences</code>:
<pre>
Explanation: blocca l'installazione automatica di pacchetti da sid
Explanation: permette l'aggiornamento automatico dei soli pacchetti installati da sid
Package: *
Pin: release n=sid
Pin-Priority: 100
 
Explanation: blocca l'installazione automatica di pacchetti dai backports
Explanation: permette l'aggiornamento automatico dei soli pacchetti installati dai backports
Package: *
Pin: release n=buster-backports
Pin-Priority: 300
</pre>
Poi procedere con l'aggiornamento dell'elenco dei pacchetti e l'installazione:
<pre># apt update
# apt install -t sid firefox
</pre>
</pre>


La localizzazione italiana è resa disponibile dal [[pacchetto]] <code> firefox-l10n-it </code>.
La localizzazione italiana è resa disponibile dal [[pacchetto]] <code>firefox-l10n-it</code>.


== Aggiornamento di Firefox ==
== Aggiornamento di Firefox ==
Riga 51: Riga 87:
Sono piccole applicazioni che consentono di aggiungere nuove caratteristiche e funzionalità a Firefox. Fanno parte di questa famiglia le estensioni, i temi, i motori di ricerca e i dizionari e language pack.<br />
Sono piccole applicazioni che consentono di aggiungere nuove caratteristiche e funzionalità a Firefox. Fanno parte di questa famiglia le estensioni, i temi, i motori di ricerca e i dizionari e language pack.<br />
I plugin sono un discorso a parte.
I plugin sono un discorso a parte.
{{Box|Nota|Dalla versione 57 di Firefox, prevista per novembre 2017, tutte le estensioni cosidette ''legacy'' smetteranno di funzionare in favore delle ''webextension''.<br />Le estensioni ''legacy'' saranno supportate sino a giugno 2018 con la versione 52 di Firefox-ESR o comunque con versioni antecedenti la 57.}}


=== Installare estensioni ===
=== Installare estensioni ===
Le estensioni (''Extensions'') possono essere installate direttamente dal browser, in maniera analoga a come avviene su altri sistemi operativi e per il solo utente, oppure tramite l'installazione dei pacchetti <code>xul-ext-*</code> desiderati prelevati dai [[repository]] di Debian.
Le estensioni (''Extensions'') possono essere installate direttamente dal browser, in maniera analoga a come avviene su altri sistemi operativi e per il solo utente, oppure tramite l'installazione dei pacchetti <code>webext-</code> desiderati prelevati dai [[repository]] di Debian.


==== Installazione dai repository Debian ====
==== Installazione dai repository Debian ====
Questo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero) ma non che siano aggiornate. Tale procedura prevede che l'installazione avvenga per tutti gli utenti del sistema, abilitandole di default. I singoli utenti potranno comunque disabilitarle se non le desiderano.
Questo metodo garantisce che le estensioni rispettino le [[DFSG]] (e quindi siano software libero) ma non che siano aggiornate. Tale procedura prevede che l'installazione avvenga per tutti gli utenti del sistema, abilitandole di default. I singoli utenti potranno comunque disabilitarle se non le desiderano.


Per esempio per installare ''Adblock Plus'' per tutti gli utenti del sistema, basta:
Per esempio per installare ''uBlock'' (un utile blocker per ads, malware e tracker) per tutti gli utenti del sistema, basta:
<pre>
<pre>
# apt-get install xul-ext-adblock-plus
# apt install webext-ublock-origin
</pre>
</pre>


==== 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 delle '''estensioni'''<sup>[[#Riferimenti|[7]]]</sup> e scegliere quella voluta tra le migliaia presenti.
Questa è in assoluto la procedura più utilizzata. È sufficiente visitare il sito delle '''estensioni'''<sup>[[#Riferimenti|[7]]]</sup> e scegliere quella 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/> Tale metodo è sconsigliato per motivi di sicurezza: questa potrebbe essere compromessa da estensioni non verificate da Mozilla.
===== Installare un'estensione per tutti gli utenti =====
{{Box|Nota|La procedura che seguirà è applicabile a firefox-esr (sino alla versione 52).}}
Se si vuol installare manualmente un'estensione e abilitarla per tutti gli utenti di sistema, la procedura è leggermente più articolata
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 &#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/firefox-esr/browser/extensions/</code> <pre># mv {a01eb24f-2740-49df-8937-2abb1cd08f8a}.xpi /usr/lib/firefox-esr/browser/extensions/</pre> 7) Riavviare Firefox-esr per rendere effettivi i cambiamenti e attivare l'estensione nel proprio profilo.
Notare che con quest'ultima procedura di installazione, non utilizzando [[APT]], il sistema non si occuperà dell'aggiornamento dell'estensione. Quando una nuova versione sarà disponibile, sarà quindi necessario ripetere l'intera operazione.
=== 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/firefox-esr/pref/firefox-esr.js</code> queste righe:
<pre>
//Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15
lockPref("xpinstall.enabled", false);
</pre>


== Profili ==
== Profili ==
Riga 155: Riga 155:
|Verificata_da =
|Verificata_da =
: [[Utente:Selky|Selky]] 14:30, 11 ago 2017 (CEST)
: [[Utente:Selky|Selky]] 14:30, 11 ago 2017 (CEST)
|Numero_revisori = 1
: [[Utente:HAL 9000|HAL 9000]] 17:39, 8 dic 2019 (CET)
|Numero_revisori = 2
}}
}}


[[Categoria:Browser]]
[[Categoria:Browser]]
3 581

contributi