Re: [racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian
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 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 _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian
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 to Debian's package for our 5.3 upload to resolve the bug on our end. I also added a note to our NEWS file mentioning the future removal upstream and raco planet as the replacement. Cheers, -- James GPG Key: 4096R/331BA3DB 2011-12-05 James McCoy james...@debian.org _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [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.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 - DC 93 _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian
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 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 - DC 93 _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [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 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 - DC 93 _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian
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 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 _ Racket Developers list: http://lists.racket-lang.org/dev
