14 novembre 2017

Come aggiungere il PPA Ubuntu Mozilla Securty Team su Linux Mint


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.


Nessun commento:

Posta un commento

Licenza
Licenza Creative Commons

Quest' opera è distribuita con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Unported. Questo blog non rappresenta una testata giornalistica, in quanto viene aggiornato senza alcuna periodicità. Non può, pertanto, considerarsi un prodotto editoriale, ai sensi della legge n. 62 del 7/03/2001

Disclaimer immagini

Le immagini utilizzate in questo blog appartengono ai loro rispettivi autori e sono utilizzati per scopi educativi, personali e senza scopo di lucro. Ogni eventuale violazione del copyright non è intenzionale, ma se si riconosce un'immagine protetta da copyright, fatemelo sapere qui, e sarò lieto di aggiungere i credits o modificarla o rimuoverla.

Disclaimer images

Images used on this blog belong to their respective authors and are used for educational, personal and no profit purposes. Any eventual copyright infringement is not intentional, but if you recognize a copyrighted image, please let me know here, and I'll happily provide to add the right credits or modify or remove it.