[prev in list] [next in list] [prev in thread] [next in thread] 

List:       lilypond-devel
Subject:    Re: "make uninstall" doesn't remove all directories
From:       John Mandereau <john.mandereau () gmail ! com>
Date:       2008-08-24 11:54:00
Message-ID: 1219578841.2711.241.camel () free ! fr
[Download RAW message or body]

Hi Valentin,

"make uninstall" should work now.  I only tested with --prefix=
$HOME/lilyroot, I leave testing as root with --prefix=/usr/local up to
you :-)  It shouldn't do anything nasty: rm is exclusively used to
delete files previsouly installed by "make [web-]install", and rmdir
only removes empty directories.

Le mercredi 20 août 2008 à 12:23 +0200, Valentin Villenave wrote:
> cannot remove directory: the directory is not empty [on several
> directories, see below]

All these errors should be ignored by make, see the reason at the end of
this email.


> /bin/sh: line 2: -rmdir: command not found

Someone forgot this line is in the middle of a shell command, so the
correct invocation is "rmdir foo/bla || true".


> and there are quite a few directories left in my tree:

I usually prefer to use "tree" to see what has been left.


> Isn't there any rm -rf missing in the uninstaller?

By design, "make uninstall" only removes files that have been previously
installed, in order to preserve files you and other programs may have
added, then it tries to remove (not all) empty directories, so "rm -rf"
has not its place.

Cheers,
John




[prev in list] [next in list] [prev in thread] [next in thread]