From Newsgroup: comp.protocols.kerberos

Hi there,

I once installed krb5 Release 1.20.2 from sources to /usr/local on a
debian 12 server.
Meanwhile we are on Debian 13 and 1.21.3 comes as debian packages, which
is just what I need.
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", so I might
have to remove the over 100 files manually from various subdirs in
/usr/local ?

Goetz

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.protocols.kerberos

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.

--- Synchronet 3.21a-Linux NewsLink 1.2