Mi è sorto questo dubbio...

...in generale qual è la procedura corretta per disinstallare programmi che sono stati installati non da pacchetti precompilati, bensì da sorgenti compilati manualmente?

Grazie a tutti.