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.mccar...@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 <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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev