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

2012-08-18 Thread Robby Findler
I've pushed a change to the current git version of Racket that removes the 'planet' binary from plt/bin. (Note that 'raco planet' does all the same things and avoids the conflict mentioned below.) Robby On Sun, Jul 29, 2012 at 2:46 PM, David Bremner brem...@debian.org wrote: Hi All; We're

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

2012-08-18 Thread James McCoy
On Sat, Aug 18, 2012 at 08:28:45PM -0500, Robby Findler wrote: I've pushed a change to the current git version of Racket that removes the 'planet' binary from plt/bin. (Note that 'raco planet' does all the same things and avoids the conflict mentioned below.) Thanks. I made a similar change

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

2012-07-30 Thread Doug Williams
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

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

2012-07-30 Thread Matthias Felleisen
It will stay 'as is' for this release. But we intend to deprecate 'planet' so that people begin to switch to 'raco planet'. -- Matthias On Jul 30, 2012, at 9:43 AM, Doug Williams wrote: I have some scripts that still use planet. I use development links as a substitute for a local

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

2012-07-29 Thread David Bremner
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

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

2012-07-29 Thread Jay McCarthy
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

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

2012-07-29 Thread Robby Findler
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 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