Satish Balay <[email protected]> writes: > On Sun, 25 Feb 2018, Jed Brown wrote: > >> I now also see that it writes an uninstall script that would delete >> /usr/bin if the user installed with --prefix=/usr. > > I didn't realize this.. There should never be a 'rmtree' in the > uninstall script - as prefix is usually a location shared by multiple > packages. > > For now I'll revert https://bitbucket.org/petsc/petsc/commits/e22ab8e6ea0
The try part of that commit (around os.remove) is necessary. Also, "rmdir -p" provides a useful semantic in this context, but needs to be implemented manually in Python (or I don't know where that functionality is available in the standard library).
