[racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian

From: James McCoy (jamessan at debian.org)
Date: Sat Aug 18 22:10:03 EDT 2012

On Sat, Aug 18, 2012 at 08:28:45PM -0500, Robby Findler wrote:
> I've pushed a change to the current git version of Racket that removes
> the 'planet' binary from plt/bin. (Note that 'raco planet' does all
> the same things and avoids the conflict mentioned below.)

Thanks.  I made a similar change to Debian's package for our 5.3 upload
to resolve the bug on our end.  I also added a note to our NEWS file
mentioning the future removal upstream and "raco planet" as the

GPG Key: 4096R/331BA3DB 2011-12-05 James McCoy <jamessan at debian.org>

Posted on the dev mailing list.