Re: [racket-users] how to uninstall Racket 5.3.6?

2019-06-26 Thread Norman Ramsey
> TL;DR: build a new version in its own tree, then use that as a > guide to carefully deleting the old one from /usr/local by hand. Sounds workable. If a bit unpleasant. Thanks! > "/usr/local" sounds like it wasn't from a Debian package. Alas not. I've never actually used a Debian

Re: [racket-users] how to uninstall Racket 5.3.6?

2019-06-21 Thread Neil Van Dyke
Quick notes on both installing a new version, and then cleaning up the old one... INSTALLING NEW VERSIONS Assuming you're not just using a Debian package, and want a non-Debian-package install (such as for more rapidly picking up new Racket versions, having multiple versions installed at

Re: [racket-users] how to uninstall Racket 5.3.6?

2019-06-21 Thread Philip McGrath
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 wrote: > I

[racket-users] how to uninstall Racket 5.3.6?

2019-06-21 Thread Norman Ramsey
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