On Thursday, September 26, 2024 at 3:27:50 PM UTC-7 dim...@gmail.com wrote:
On Thu, Sep 26, 2024 at 10:56 PM John H Palmieri <jhpalm...@gmail.com> wrote: > > Before deleting anything, you could try expunging all mention of /usr/local from your PATH and other variables wherever they're set (.profile or .bashrc or .zshrc or whatever), and start a clean Terminal session with the new settings. At this point you may need to install homebrew (if it thinks it's only installed in /usr/local). Then source .homebrew-build-env, check PATH and other variables again, run ./configure and install whatever packages Sage recommends. If this all happens to work, then you can start going through /usr/local to see if there is anything there that didn't come from homebrew that you want to keep. John, why that complicated? Partly it's my personality: I tend to be cautious about deleting things. Second, there may be other things in /usr/local that didn't come from homebrew and that may be interfering with Sage installation. (TeXLive might be installed there, as an example of something benign — no impact on Sage installation. Who knows what else might have been migrated there, though?) Probably you're right and your suggestion will work fine and be simpler, though. I think Anne's machine has 2 copies of Homebrew. The link I posted (https://github.com/homebrew/install#uninstall-homebrew) has this advice: If you want to to uninstall Homebrew from a specific prefix (e.g. when migrating from Intel to Apple Silicon processors), download the uninstall script and run it with --path: curl -fsSLO https://raw.githubusercontent.com/Homebrew/install/HEAD/uninstall.sh /bin/bash uninstall.sh --path /usr/local Dima -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/5a6e0903-4e90-409a-b9e3-b893e820cfdcn%40googlegroups.com.
