Thanks for the suggestion. I hadn't thought of that possibility. As far as uninstalling is concerned, can I do a "make uninstall" as a regular user or do I have to be root (or use sudo)? What I have been doing up to know, which I am certain is pretty naive, was "find /usr/local -name '**' -print . Then I had been manually going through the list and "rm" ing anything that seemed appropriate.
Thanks,
Edward
Copyright (C) 2006-2024 rncbc aka Rui Nuno Capela. All rights reserved.
Powered by Drupal
Recent comments
2 days 12 hours ago
2 days 12 hours ago
5 days 11 hours ago
1 week 4 days ago
1 week 4 days ago
1 week 6 days ago
2 weeks 5 hours ago
1 week 6 days ago
2 weeks 9 hours ago
2 weeks 20 hours ago