Desinstaller gnat-gpl

chaimae97 Messages postés 39 Date d'inscription   Statut Membre Dernière intervention   -  
 Utilisateur anonyme -
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

Réponse 1 / 1
Utilisateur anonyme
 
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

Discussions similaires

Désinstaller Opera
Web. -
Web. -

3 réponses
Comment désinstaller Opera
jpc54 -
kaneagle -

10 réponses