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.)
Robby On Sun, Jul 29, 2012 at 2:46 PM, David Bremner <brem...@debian.org> wrote: > > Hi All; > > We're currently trying to figure out the right way to handle a name > conflict in Debian between racket and an rss aggregator named > planet-venus. > > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680685 > > I don't use the command /usr/bin/planet myself, so I was wondering if > anybody could explain the likely disruption caused by (hypothetically) > renaming it. In particular is it likely to be somether where people are > using it from scripts or cron jobs, or would making a shell alias > (alias planet planet-racket) suffice to avoid retraining fingers? > > Thanks > > David > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev