can't install rosetta

Stream: general

[FMLJohn]

Hello! Right now I am trying to install Lean onto my laptop. My laptop is M1. I typed in the code "softwareupdate --install-rosetta" into the terminal but it outputs "Installing Rosetta 2 on this system is not supported." How to solve this problem?

[Alex J. Best]

I don't think this is a lean specific question, you'll have better luck googling the message or asking on https://apple.stackexchange.com/ or apple support I think.

[Notification Bot]

2 messages were moved here from #general > How do you pronounce "elan"? by Alex J. Best.

[FMLJohn]

OK! Thanks. I'll try to figure it out!

[Deepro Choudhury]

I was able to resolve this issue for them. "Installing Rosetta 2 on this system is not supported" is an error message that also comes up when Rosetta is already installed on the mac, which happens automatically when some apps that are meant to run on intel processors are downloaded. If you run arch -x86_64 zsh at that point, it should repurpose your terminal, and then you should not have to install a 2nd version of homebrew and can install elan as normal.
Another issue we ran into is that some of the default read/write permissions for the directory paths were messed up, but that's fixable through changing directory ownership to the current user chown -R $[username]:[username] [directorypath]

[Kevin Buzzard]

Deepro has managed to resolve this issue for two Xena students in the last few weeks -- many thanks!

[Alex J. Best]

Nice, are there some updates we can add to the instructions if these are going to be common problems?

[Deepro Choudhury]

Alex J. Best said:

Nice, are there some updates we can add to the instructions if these are going to be common problems?

I think it might be worth adding that if the error message "Installing Rosetta 2 on this system is not supported" comes up, then it is likely that they have already installed Rosetta without knowing it. A good course of action would then be to run arch -x86_64 zsh on their current terminal, observe whether their terminal title looks something like zsh 80x24 and then skip directly to step 4 of the instructions. They should also make sure their permissions are set correctly. If this doesn't work then there might be deeper problem.