Re: Uninstalling Git

From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sep 23, 2007, 19:31 UTC
Message-ID: <Pine.LNX.4.64.0709232029490.28395@racer.site>
In-Reply-To: <46F6B0CC.3040000@gmx.net>

Hi,

On Sun, 23 Sep 2007, in-call@gmx.net wrote:

Show 6 quoted lines

> $ make configure
> $ ./configure --prefix=/usr/local
> $ make all doc
> $ sudo make install install-doc
> 
> First, I'd like to uninstall the thing completely, how do I do that?

I'd use checkinstall to install it (again), and then use the distro's regular tools; in case of Ubuntu, that would be dpkg I believe.

> Second, what would be the correct procedure to follow if I would like 
> just to upgrade to a newer version? install over the older perhaps? Is 
> that always safe in the sense that there won't be any dangling piece of 
> bin nor doc?

On Linux this should be safe at all times.

Hth, Dscho