One possibility is that you might have installed Racket via apt. A command like: sudo apt list --installed | grep racket should help to see if that is the case. If so, I think uninstalling the apt package would be sufficient.
-Philip On Fri, Jun 21, 2019 at 3:23 PM Norman Ramsey <n...@cs.tufts.edu> wrote: > I have an installation of Racket version 5.3.6, which dates from late > 2013. The installation platform is Debian Linux, and the installation > populated a lot of things into /usr/local/bin, which I suspect was the > default at the time. I now wish to upgrade to the current version, > but I have discovered that the current version is reluctant to install > over an existing version in /usr/local/bin. My system does not > contain a `racket-uninstall` script, and searching the documentation > does not turn up anything about how to remove an installation. > > How can I uninstall Racket 5.3.6? > > > Norman Ramsey > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/20190621192341.2B44F119A13%40homedog.cs.tufts.edu > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/CAH3z3gZ0uUNkZ8rzbVpEcB8Uv2B%3Dq%2B%2Bs7Li6rzG4SQUr9CB-Yw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
