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

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 <bremner at 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 <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93