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.