bug-lilypond
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "make uninstall" doesn't remove all directories


From: John Mandereau
Subject: Re: "make uninstall" doesn't remove all directories
Date: Sun, 24 Aug 2008 13:54:00 +0200

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





reply via email to

[Prev in Thread] Current Thread [Next in Thread]