On 11/21/25 17:02, Goetz Golla wrote:
But before installing the deb packages I would need to uninstall the old
release in /usr/local.
What is the best way to do this ? Is it really true that there is no
"make uninstall" [...]
There is no "make uninstall".
You could prepare a list of files to remove using:
make install DESTDIR=/tmp/unkrb
find /tmp/unkrb -type f | sed -e 's|^/tmp/unkrb||' > /tmp/list
Removing those would leave behind any directories created by make
install, but they should be harmless. The same find command with "-type
d" instead of "-type f" will give you the directory list, if you want to
inspect it for directories to remove.
________________________________________________
Kerberos mailing list [email protected]
https://mailman.mit.edu/mailman/listinfo/kerberos
