Firefox: differenze tra le versioni

Da Guide@Debianizzati.Org.
Vai alla navigazione Vai alla ricerca
m (rimosso link a guida da cancellare, aggiunta estensione)
 
(27 versioni intermedie di 4 utenti non mostrate)
Riga 1: Riga 1:
{{Versioni compatibili|Jessie}}
{{Versioni compatibili|Jessie|Stretch|Buster}}


== Introduzione ==
== Introduzione ==
[[Iceweasel]] è la versione distribuita in Debian del [[browser]] [https://www.mozilla.org/it/firefox/desktop/ Mozilla Firefox], utilizzato in altre distribuzioni GNU/Linux e per altri sistemi operativi.
'''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.


In particolare nei [[repository ufficiali]] di Debian è distribuita la versione '''ESR''' ('''''E'''xtended '''S'''upport '''R'''elease''), 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]].<br/>
=== Storia di Firefox in Debian ===
Per installare una versione più aggiornata è necessario invece aggiungere i [[Repository_non_ufficiali#Iceweasel | backports non ufficiali]], come vedremo in seguito.
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''.


Se si installa un qualsiasi ambiente desktop completo, che è il caso se lo si seleziona durante la fase di installazione, allora <code>iceweasel</code> nell'ultima versione ''ESR'' sarà automaticamente installato nel sistema.
<blockquote>''Mozilla Firefox'' pur essendo un browser open source, è un prodotto con marchio registrato e come tale può essere utilizzato in [[fork]] e progetti derivati soltanto con il permesso esplicito della Mozilla Foundation<sup>[[#Riferimenti|[1]]]</sup>.</blockquote>


=== Firefox e Iceweasel ===
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.
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|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 [[DFSG|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 [[Debian Developer|DD]] è stato chiamato '''Iceweasel''': continua a basarsi sui rilasci ufficiali di Firefox e, a parte questa differenza estetica, si può considerare quasi uguale.
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.


== Installazione di Iceweasel ==
=== Estensioni ===
=== Installare la versione ESR ===
Dalla versione 57 di Firefox, prevista per novembre 2017, tutte le estensioni cosidette ''legacy'' smetteranno di funzionare in favore delle ''webextension''.
È 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:
 
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 ==
Nei [[repository ufficiali]] Debian sono disponibili le versioni:
; ''Firefox-ESR'' : una versione a lungo termine ('''''E'''xtended '''S'''upport '''R'''elease'') con un ciclo di vita di circa un anno, per cui gli unici aggiornamenti rilasciati sono quelli di sicurezza;
; ''Firefox Release'' : è la versione ufficiale sempre aggiornata, rilasciata a intervalli di cinque/otto settimane.
 
Soltanto la prima è presente in una Debian [[stable]], mentre per la ''release'' è necessario installarla da [[sid]]/[[unstable]] o installarla manualmente dall'archivio sul sito ufficiale.
 
=== Installare Firefox-ESR ===
È presente di default in un [[Desktop Environment]] completo. Comunque se non fosse installata, perché si è scelto un ambiente più personalizzato o minimale, con [[privilegi di amministrazione]] e [[APT]] sarebbe sufficiente:
<pre>
<pre>
# apt-get install iceweasel
# apt install firefox-esr
</pre>
</pre>


La localizzazione italiana è resa disponibile dal [[pacchetto]] <code>iceweasel-l10n-it</code>, che è una dipendenza di '''<code>task-italian-desktop</code>''', che si occupa della localizzazione di tutti i programmi principali e dovrebbe essere già installato.
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]].
 
{{Box | Installazione locale | In alternativa è possibile anche installarlo localmente, senza diventare [[root]].<br/>
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.}}
 
=== Installare Firefox Release dai repository ufficiali ===
Per Debian [[unstable]]/[[sid]] è sufficiente installare il pacchetto <code>firefox</code>. Per altre versioni è invece necessario abilitare prima questo repository.


=== Installare l'ultima versione rilasciata ===
{{Warningbox|Prima di procedere con quanto riportato di seguito, leggere la guida riguardante i [[Repository]], in particolare riguardo il [[Repository & pinning | pinning]].<br/>
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 [http://mozilla.debian.net/ mozilla.debian.net] per ogni [[release]] di Debian.
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:
<pre>deb http://deb.debian.org/debian/ unstable main</pre>


Nel caso di Debian 8 ([[Jessie]]), è necessario con [[privilegi di amministrazione]]:
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/>
# installare il pacchetto '''<code>pkg-mozilla-archive-keyring</code>''', contenente la chiave pubblica del repository di mozilla.debian.net, per poter verificare l'autenticità dei pacchetti installati:<pre># apt-get install pkg-mozilla-archive-keyring</pre>
Per esempio, in caso di [[Buster]] con [[backports]] in <code>/etc/apt/preferences</code>:
# aggiornare <code>/etc/apt/sources.list</code> oppure creare un file <code>.list</code>, per esempio <code>iceweasel.list</code>, nella directory <code>/etc/apt/sources.list.d/</code>, contenente il repository di mozilla.debian.net per ''Jessie''. È sufficiente il comando:<pre># echo "deb http://mozilla.debian.net/ jessie-backports iceweasel-release" > /etc/apt/sources.list.d/iceweasel.list && echo ok</pre>(restituirà "ok" se non ci sono errori)
<pre>
# aggiornare la lista dei pacchetti:<pre># apt-get update</pre>
Explanation: blocca l'installazione automatica di pacchetti da sid
# installare la versione più aggiornata di <code>iceweasel</code>:<pre># apt-get -t jessie-backports install iceweasel</pre>
Explanation: permette l'aggiornamento automatico dei soli pacchetti installati da sid
Package: *
Pin: release n=sid
Pin-Priority: 100


== Aggiornamento di Iceweasel ==
Explanation: blocca l'installazione automatica di pacchetti dai backports
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.
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>


Affinché sia rilasciata una nuova versione di Iceweasel è necessario che:
La localizzazione italiana è resa disponibile dal [[pacchetto]] <code>firefox-l10n-it</code>.
# sia prima rilasciata la nuova versione di Firefox;
 
# che su questa versione siano applicate le patch di Iceweasel senza errori;
== Aggiornamento di Firefox ==
L'aggiornamento verrà effettuato automaticamente da [[APT]], come per gli altri pacchetti del sistema, quando una nuova versione tra quelle installate (''ESR''o ''Release'' di Firefox) sarà rilasciata, salvo che si sia installato manualmente.
 
Affinché questo avvenga, è necessario che:
# sia prima rilasciata la nuova versione di Firefox da Mozilla;
# che su questa siano applicate le patch dei [[Debian Developer]] senza errori;
# e infine che dai test condotti non vengano riscontrati problemi.
# e infine che dai test condotti non vengano riscontrati problemi.


== Gestione delle estensioni ==
== Componenti Aggiuntivi ==
=== Installazione ===
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 />
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.
I plugin sono un discorso a parte.


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


Per esempio per installare ''Adblock Plus'' per tutti gli utenti del sistema, basta:
=== 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.
 
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>


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:
=== Installazione manuale ===
* Installare i pacchetti necessari:<pre># apt-get install unzip xmlstarlet</pre>
Nel caso in cui l'estensione voluta non si trovi nei repository, è ovviamente possibile procedere alla sua installazione in maniera manuale.
* 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() { &#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>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 &#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>
* 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 ===
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.
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:
== Profili ==
<pre>
Un profilo è una cartella dove sono memorizzati tutti i dati: nel caso di Firefox tale cartella contiene i segnalibri, le password e tutte le nostre impostazioni. Quando lo lanciamo per la prima volta viene creata una cartella del profilo di default, memorizzato nella cartella <code>~/.mozilla/firefox/</code>; senza azioni da parte nostra saranno sempre utilizzati questi profili.
//Disabilita l'installazione delle estensioni. Aggiunta da pippo il 27/11/15
 
lockPref("xpinstall.enabled", false);
Le cartelle dei profili sono caratterizzate da una stringa casuale di lettere e numeri e dal nome del profilo: <code>xxxxxxxx.default</code>.
</pre>
 
=== Creazione ===
Basta seguire questa procedura:
 
* Creiamo una copia della cartella <code>/home/utente/.mozilla</code>, chiamandola ad esempio <code>/home/utente/.mozilla2</code>
 
* Da terminale e da utente normale, digitiamo: <pre>firefox -P</pre> apparirà una mascherina che ci permetterà di scegliere se creare un nuovo profilo, rinominarne uno esistente o cancellarne uno esistente
 
* Clicchiamo sul pulsante "Crea ...": apparirà una finestra dove viene spiegato cos'è un profilo; cliccando su "next" ci verrà richiesto il nome del nuovo profilo e il percorso dello stesso
 
* Inseriamo un nome per il nuovo profilo, esempio "nuovo profilo" e come percorso scegliamo la cartella precedentemente creata <code>/home/utente/.mozilla2"</code>
 
* Confermiamo ed abbiamo così il nuovo profilo: avendolo creato copiando quello esistente sarà inizialmente identico, ma d'ora in avanti i due profili prenderanno strade del tutto indipendenti.
 
Naturalmente non è obbligatorio creare il nuovo profilo nella cartella <code>/home/utente</code> e nemmeno renderlo invisibile chiamando la cartella col punto davanti.
 
=== Utilizzo ===
Per eseguire Firefox con un determinato profilo basta creare un lanciatore con il comando:
<pre>firefox -P "nomeprofilo"</pre>
Nel caso in esempio utilizzeremo il comando:
<pre>firefox -P "nuovo profilo"</pre>
 
Si possono quindi avere diversi profili, dedicati a temi diversi, isolando le informazioni a cui il browser può accedere con ciascuno.


== Approfondimenti ==
== Approfondimenti ==
=== Manuale ===
=== Manuale ===
Per le opzioni a linea di comando:<br />
A seconda della versione installata per consultare le opzioni a linea di comando utilizzare:
<pre>$ man iceweasel</pre>
Per Firefox-ESR <pre>$ man firefox-esr</pre>
Per Firefox Release e Beta <pre>$ man firefox</pre>


=== Altre guide ===
=== Riferimenti ===
* [[Iceweasel & Icedove: i profili]]
[1] [https://www.mozilla.org/en-US/foundation/ Mozilla Foundation]<br />
[2] [https://www.mozilla.org/it/firefox/desktop/ Sito ufficiale di Mozilla Firefox]<br />
[3] [https://www.mozilla.org/en-US/foundation/trademarks/policy/ Politica di utilizzo del marchio Mozilla]<br />
[4] [https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=354622 Bug 354622: Uses Mozilla Firefox trademark without permission]<br />
[5] [https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=815006 Bug 815006: Renaming Iceweasel to Firefox]<br />
[6] [https://www.rust-lang.org/it-IT/ Il linguaggio di programmazione Rust]<br />
[7] [https://addons.mozilla.org/it/firefox/ Componenti aggiuntivi per Firefox]


{{Autori
{{Autori
|Autore = [[Utente:BubuXP|BubuXP]] 13:00, 19 mag 2015 (CEST)
|Autore = [[Utente:BubuXP|BubuXP]] 13:00, 19 mag 2015 (CEST)
|Estesa_da =
|Estesa_da =
: [[Utente:HAL 9000|HAL 9000]] 13:43, 21 nov 2015 (CET)
: [[Utente:S3v|S3v]]
: [[Utente:S3v|S3v]] 15:52, 27 nov 2015 (CET)
: [[Utente:HAL 9000|HAL 9000]]
: [[Utente:Selky|Selky]]
|Verificata_da =
|Verificata_da =
: [[Utente:HAL 9000|HAL 9000]] 13:43, 21 nov 2015 (CET)
: [[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]]

Versione attuale delle 16:52, 8 dic 2019

Debian-swirl.png Versioni Compatibili

Debian 8 "jessie"
Debian 9 "stretch"
Debian 10 "buster"

Introduzione

Firefox è un browser web 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[2], realizzato dai Debian Developer per aggirare le incompatibilità tra le Debian Free Software Guidelines (DFSG), la politica di utilizzo del marchio Mozilla[3] e le licenze dei loghi.
Soluzione intrapresa a seguito della discussione nata dal bug 354622[4]. Oltre agli elementi grafici, l'altra problematica da affrontare riguardava la gestione e manutenzione dei binari. Eventuali patch implementate al pacchetto Debian, sarebbero dovute venire approvate da Mozilla prima di poter essere distribuite con il nome Firefox.

Mozilla Firefox pur essendo un browser open source, è un prodotto con marchio registrato e come tale può essere utilizzato in fork e progetti derivati soltanto con il permesso esplicito della Mozilla Foundation[1].

Questa situazione è stata risolta a febbraio 2016[5] con accordi basati sulla fiducia reciproca delle parti chiamate in causa, senza una garanzia formale/contrattuale .
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, iceweasel è presente solo nei repository come pacchetto di transizione a firefox-esr e può essere tranquillamente rimosso.

Estensioni

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

Nei repository ufficiali Debian sono disponibili le versioni:

Firefox-ESR
una versione a lungo termine (Extended Support Release) con un ciclo di vita di circa un anno, per cui gli unici aggiornamenti rilasciati sono quelli di sicurezza;
Firefox Release
è la versione ufficiale sempre aggiornata, rilasciata a intervalli di cinque/otto settimane.

Soltanto la prima è presente in una Debian stable, mentre per la release è necessario installarla da sid/unstable o installarla manualmente dall'archivio sul sito ufficiale.

Installare Firefox-ESR

È presente di default in un Desktop Environment completo. Comunque se non fosse installata, perché si è scelto un ambiente più personalizzato o minimale, con privilegi di amministrazione e APT sarebbe sufficiente:

# apt install firefox-esr

La localizzazione italiana è resa disponibile dal pacchetto firefox-esr-l10n-it, che è una dipendenza raccomandata del pacchetto task-italian-desktop.

Installare Firefox Release manualmente

È sufficiente:

  1. scaricare l'archivio dal sito ufficiale[2];
  2. estrarlo come root in /opt/, in modo che abbia utente e gruppo root:
    # cd /opt && tar xvf /home/utente/Scaricati/firefox*.tar.*
  3. creare un link simbolico in /usr/local/bin, per renderlo eseguibile da terminale:
    # ln -s /opt/firefox/firefox /usr/local/bin/firefox
  4. creare un lanciatore con percorso /opt/firefox/firefox 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.

Info.png Installazione locale
In alternativa è possibile anche installarlo localmente, senza diventare root.

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.


Installare Firefox Release dai repository ufficiali

Per Debian unstable/sid è sufficiente installare il pacchetto firefox. Per altre versioni è invece necessario abilitare prima questo repository.

Warning.png ATTENZIONE
Prima di procedere con quanto riportato di seguito, leggere la guida riguardante i Repository, in particolare riguardo il pinning.

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:

deb http://deb.debian.org/debian/ unstable main

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 Pin-Priority di 100), altrimenti risulterebbero nascosti da quelli di Sid (di default a 500).
Per esempio, in caso di Buster con backports in /etc/apt/preferences:

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

Poi procedere con l'aggiornamento dell'elenco dei pacchetti e l'installazione:

# apt update
# apt install -t sid firefox

La localizzazione italiana è resa disponibile dal pacchetto firefox-l10n-it.

Aggiornamento di Firefox

L'aggiornamento verrà effettuato automaticamente da APT, come per gli altri pacchetti del sistema, quando una nuova versione tra quelle installate (ESRo Release di Firefox) sarà rilasciata, salvo che si sia installato manualmente.

Affinché questo avvenga, è necessario che:

  1. sia prima rilasciata la nuova versione di Firefox da Mozilla;
  2. che su questa siano applicate le patch dei Debian Developer senza errori;
  3. e infine che dai test condotti non vengano riscontrati problemi.

Componenti Aggiuntivi

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.
I plugin sono un discorso a parte.

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 webext- desiderati prelevati dai repository di 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.

Per esempio per installare uBlock (un utile blocker per ads, malware e tracker) per tutti gli utenti del sistema, basta:

# apt install webext-ublock-origin

Installazione manuale

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

Questa è in assoluto la procedura più utilizzata. È sufficiente visitare il sito delle estensioni[7] e scegliere quella voluta tra le migliaia presenti.

Profili

Un profilo è una cartella dove sono memorizzati tutti i dati: nel caso di Firefox tale cartella contiene i segnalibri, le password e tutte le nostre impostazioni. Quando lo lanciamo per la prima volta viene creata una cartella del profilo di default, memorizzato nella cartella ~/.mozilla/firefox/; senza azioni da parte nostra saranno sempre utilizzati questi profili.

Le cartelle dei profili sono caratterizzate da una stringa casuale di lettere e numeri e dal nome del profilo: xxxxxxxx.default.

Creazione

Basta seguire questa procedura:

  • Creiamo una copia della cartella /home/utente/.mozilla, chiamandola ad esempio /home/utente/.mozilla2
  • Da terminale e da utente normale, digitiamo:
    firefox -P
    apparirà una mascherina che ci permetterà di scegliere se creare un nuovo profilo, rinominarne uno esistente o cancellarne uno esistente
  • Clicchiamo sul pulsante "Crea ...": apparirà una finestra dove viene spiegato cos'è un profilo; cliccando su "next" ci verrà richiesto il nome del nuovo profilo e il percorso dello stesso
  • Inseriamo un nome per il nuovo profilo, esempio "nuovo profilo" e come percorso scegliamo la cartella precedentemente creata /home/utente/.mozilla2"
  • Confermiamo ed abbiamo così il nuovo profilo: avendolo creato copiando quello esistente sarà inizialmente identico, ma d'ora in avanti i due profili prenderanno strade del tutto indipendenti.

Naturalmente non è obbligatorio creare il nuovo profilo nella cartella /home/utente e nemmeno renderlo invisibile chiamando la cartella col punto davanti.

Utilizzo

Per eseguire Firefox con un determinato profilo basta creare un lanciatore con il comando:

firefox -P "nomeprofilo"

Nel caso in esempio utilizzeremo il comando:

firefox -P "nuovo profilo"

Si possono quindi avere diversi profili, dedicati a temi diversi, isolando le informazioni a cui il browser può accedere con ciascuno.

Approfondimenti

Manuale

A seconda della versione installata per consultare le opzioni a linea di comando utilizzare:

Per Firefox-ESR

$ man firefox-esr

Per Firefox Release e Beta

$ man firefox

Riferimenti

[1] Mozilla Foundation
[2] Sito ufficiale di Mozilla Firefox
[3] Politica di utilizzo del marchio Mozilla
[4] Bug 354622: Uses Mozilla Firefox trademark without permission
[5] Bug 815006: Renaming Iceweasel to Firefox
[6] Il linguaggio di programmazione Rust
[7] Componenti aggiuntivi per Firefox




Guida scritta da: BubuXP 13:00, 19 mag 2015 (CEST) Swirl-auth60.png Debianized 60%
Estesa da:
S3v
HAL 9000
Selky
Verificata da:
Selky 14:30, 11 ago 2017 (CEST)
HAL 9000 17:39, 8 dic 2019 (CET)

Verificare ed estendere la guida | Cos'è una guida Debianized