Come aggiungere il PPA Ubuntu Mozilla Securty Team su Linux Mint

di Marco Giannini · Pubblicato 14 Novembre 2017 · Aggiornato 15 Novembre 2017

Il PPA Ubuntu Mozilla Security Team offre la possibilità di provare subito le ultime release stabili di Firefox su Ubuntu. Purtroppo tale repository, se aggiunto a Linux Mint, non funziona correttamente. Questo perché il team di Linux Mint offre una serie di pacchetti personalizzati per alcuni programmi come per l’appunto Firefox (che su Mint ha alcune modifiche come la mancanza di Google come motore di ricerca predefinito sostituito da Yahoo).
Per poter aggiungere e sfruttare questo PPA su Linux Mint avremo bisogno di creare un file in /etc/apt/preferences.d/ con le informazioni per pinnare il suddetto PPA e impostarlo come preferito per gli update.
Vediamo come fare.
Come prima cosa aggiungiamo il PPA Ubuntu Mozilla Security Team alla nostra Linux Mint dando da terminale:

sudo add-apt-repository ppa:ubuntu-mozilla-security/ppa

Aggiorniamo

sudo apt update

Andiamo ora a creare il file ubuntu-mozilla-security.pref in /etc/apt/preferences.d/
Da terminale diamo:

sudo xed /etc/apt/preferences.d/ubuntu-mozilla-security.pref

All’interno del file incolliamo quanto segue

Package: *
Pin: release o=LP-PPA-ubuntu-mozilla-security
Pin-Priority: 701

Salviamo e avviamo il Gestore Aggiornamenti di Linux Mint che ora vedrà il PPA e ci consentirà di aggiornare Firefox sfruttando i pacchetti presenti nel suddetto PPA.

Se vuoi sostenerci, puoi farlo acquistando qualsiasi cosa dai diversi link di affiliazione che abbiamo nel nostro sito o partendo da qui oppure alcune di queste distribuzioni GNU/Linux che sono disponibili sul nostro negozio online, quelle mancanti possono essere comunque richieste, e su cui trovi anche PC, NAS e il ns ServerOne. Se ti senti generoso, puoi anche donarmi solo 1€ o più se vuoi con PayPal e aiutarmi a continuare a pubblicare più contenuti come questo. Grazie!

Hai dubbi o problemi? Ti aiutiamo noi!

Se vuoi rimanere sempre aggiornato, iscriviti al nostro canale Telegram.
Se vuoi ricevere supporto per qualsiasi dubbio o problema, iscriviti alla nostra community Facebook o gruppo Telegram.

Cosa ne pensi? Fateci sapere i vostri pensieri nei commenti qui sotto.
Ti piace quello che leggi? Per favore condividilo con gli altri.