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

I have some scripts that still use planet. I use development links as
a substitute for a local PLaneT-like capability and have scripts to do
this for me. Some of these are on production servers. I would create
an alias for it anyway, but would rather it stayed as is.

Doug

On Sun, Jul 29, 2012 at 2:48 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> 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
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev