[racket-dev] planet remove triggers re-installation?

Do you have any other packages that depend on rsound?  It looks like
Planet may be re-downloading it to satisfy some other dependency.
References to Planet packages show up in odd places -- based on when
the download occurred during "raco planet remove", I'd say some part
of the documentation had a reference to it, although perhaps the
documentation index simply did not get rebuilt appropriately.

Carl Eastlund

On Tue, Oct 26, 2010 at 2:55 PM, John Clements
<clements at brinckerhoff.org> wrote:
> Let me preface this by saying that I'm sure this is somehow my fault.  Nevertheless, it seems broken.  Trying to *remove* a planet package triggers its re-download and installation. See the transcript below.
>
> I'm guessing this has something to do with my use of development links, though I don't currently have any development links for this package.  I'm going to take a big hammer and start deleting stuff, and I'm guessing this will fix the problem, but it's certainly confusing.
>
> John
>
>
> pcp062721pcs:~/plt/src/build clements$ raco planet remove clements rsound.plt 1 7
>
> ============= Removing (clements rsound.plt 1 7) =============
> setup-plt: version: 5.0.2.1 [3m]
> setup-plt: variants: 3m
> setup-plt: main collects: /Users/clements/plt/collects
> setup-plt: collects paths:
> setup-plt:   /Users/clements/git-clements/clements/collects
> setup-plt:   /Users/clements/clements/matthias/collects
> setup-plt:   /Users/clements/Library/Racket/5.0.2.1/collects
> setup-plt:   /Users/clements/plt/collects
> setup-plt: --- cleaning collections ---
> setup-plt: deleting: in <planet>/clements/rsound.plt/1/7
> setup-plt: deleting: in <planet>/clements/rsound.plt/1/7/private
> setup-plt: deleting: in <planet>/clements/rsound.plt/1/7/test
> setup-plt: --- updating info-domain tables ---
> setup-plt: updating: /Users/clements/Library/Racket/planet/300/5.0.2.1/cache.rktd
> setup-plt: --- post-installing collections ---
> setup-plt: done
> Erasing metadata
> Deleting files in /Users/clements/Library/Racket/planet/300/5.0.2.1/cache/clements/rsound.plt/1/7
> Trimming empty directories
> Rebuilding documentation index
> setup-plt: version: 5.0.2.1 [3m]
> setup-plt: variants: 3m
> setup-plt: main collects: /Users/clements/plt/collects
> setup-plt: collects paths:
> setup-plt:   /Users/clements/git-clements/clements/collects
> setup-plt:   /Users/clements/clements/matthias/collects
> setup-plt:   /Users/clements/Library/Racket/5.0.2.1/collects
> setup-plt:   /Users/clements/plt/collects
> setup-plt: --- pre-installing collections ---
> setup-plt: --- compiling collections ---
> setup-plt: making: scribblings/main/user
> setup-plt: --- updating info-domain tables ---
> setup-plt: --- creating launchers ---
> setup-plt: --- building documentation ---
> setup-plt: skipping: <planet>/cce/scheme.plt/4/1/scribblings/main.scrbl
> setup-plt: skipping: <planet>/untyped/unlib.plt/3/23/scribblings/unlib.scrbl
> setup-plt: skipping: <planet>/cce/scheme.plt/6/3/reference/manual.scrbl
> setup-plt: rendering: scribblings/main/user/start.scrbl
> downloading clements/rsound:1 from planet.racket-lang.org via HTTP
>
> ============= Installing rsound.plt on Tue, 26 Oct 2010 11:51:31 =============
> setup-plt: Unpacking archive from /Users/clements/Library/Racket/planet/300/packages/clements/rsound.plt/1/7/rsound.plt
> setup-plt:   unpacking README in /Users/clements/Library/Racket/planet/300/5.0.2.1/cache/clements/rsound.plt/1/7/./
> setup-plt:   unpacking draw.rkt in /Users/clements/Library/Racket/planet/300/5.0.2.1/cache/clements/rsound.plt/1/7/./
> ...