Desinstaller gnat-gpl

Fermé
chaimae97 Messages postés 39 Date d'inscription jeudi 16 novembre 2017 Statut Membre Dernière intervention 13 mars 2019 - 26 avril 2018 à 13:53
 Utilisateur anonyme - 26 avril 2018 à 19:13
Bonjour,
svp j'ai installé gnat-gpl-2017 et je l'ai décompressé
mais maintenant je veux le désinstaller, et quand j'entre dans le dossier gnat-gpl et je fais sudo make uninstall, j'ai obtenu :
make: *** Pas de règle pour fabriquer la cible « uninstall ». Arrêt. Et même dans le fichier README je ne trouve pas comment le désinstaller
Comment je peux le desinstaller ?
Merci beaucoup pour votre aide




A voir également:

1 réponse

Utilisateur anonyme
26 avril 2018 à 19:13
Bonjour.
Tu peux supprimer les fichiers de ton installation (souvent dans /usr/local)
rm  /usr/local/bin/leprogramme

rm  /usr/local/etc/leprogramme

etc ... partout où il est.
Tu peux utiliser la commande
find /usr/local -name "*leprogramme*" -exec rm {} \;
pour le faire automatiquement
0