8 Nov
2022
8 Nov
'22
10:50 a.m.
On 08.11.22 11:33, Thomas Heijligen wrote:
Do you know an other project providing a uninstall script? I know none.
For some projects `make uninstall` used to be as usual as `make install`. Maybe it's a GNUism, though, I don't know. It seems good practice nevertheless.
The install target is for copying all necessary files into the correct place in the filesystem hierarchy. After that the user, or a other program is responsible.
There's often no single program responsible for the whole filesystem. And if we'd want to make the user responsible, we should have it docu- mented what files are installed. I don't know if we have.
Nico