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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sun Jul 29 22:06:11 EDT 2012

I think it should be okay to remove it. All of the functionality is
covered by using "raco planet".

Robby

On Sun, Jul 29, 2012 at 2: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

Posted on the dev mailing list.