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

From: David Bremner (bremner at debian.org)
Date: Sun Jul 29 15:46:00 EDT 2012

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


Posted on the dev mailing list.