Les audacieux ont vite appris à ajouter un dépôt logiciel à leur univers Ubuntu au moyen de la commande sudo apt-add-repository dans un terminal, suivies des commandes sudo apt-get update et sudo apt-get install. Par exemple:

sudo apt-add-repository ppa:hotot-team
sudo apt-get update && sudo apt-get install hotot

Mais comment procéder si vous décidez de ne plus utiliser le logiciel et de retirer le dépôt? Jusqu’à présent, je lançais l’utilitaire graphique Sources des logiciels pour ce faire. Mais voilà que je viens de découvrir comment procéder à même le terminal, et avec toute la générosité de l’enthousiasme qui m’habite, je vous en fais part illico. Voici, en reprenant l’exemple ci-haut:

sudo apt-add-repository --remove ppa:hotot-team

Suivi évidemment de la commande pour supprimer le logiciel devenu orphelin:

sudo apt-get remove hotot

Bien sûr, le logiciel ici utilisé ne l’est qu’à titre d’exemple et sans préjudice aucun.