J'ai appris un petit truc bien pratique aujourd'hui.
Je connaissais bien la commande add-apt-repository pour ajouter un repo ppa.
Exemple :
sudo add-apt-repository ppa:finalterm/daily
sudo apt-get update
sudo apt-get install finalterm
En revanche, j'ignorais qu'on pouvait retirer un repo via la même commande exemple :
sudo add-apt-repository -r ppa:finalterm/daily
sudo apt-get update
sudo apt-get remove finalterm
Aucun commentaire:
Enregistrer un commentaire