The Racket core distribution has already started deprecating the 'planet' command in favour of going through the 'raco' command and the 'planet' subcommand:
raco planet ... rather than planet ... The current documentation does not refer to the 'planet' command at all. If users are still using it, then an alias would be sufficient, since it is unlikely that programs (certainly none in the Racket distribution) call 'planet' directly. Jay On Sun, Jul 29, 2012 at 1: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 -- Jay McCarthy <j...@cs.byu.edu> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93 _________________________ Racket Developers list: http://lists.racket-lang.org/dev