Help installing Lean using glean

Stream: new members

[Young]

glean -install lean --version 4.13.0-rc3

But it tells me that
"panic: exit status 128

goroutine 1 [running]:
github.com/alissa-tung/glean/glean.InstallLean()
/Users/alissa/pod/glean/glean/lean.go:80 +0x965
main.main()
/Users/alissa/pod/glean/main.go:21 +0x91"

What should I do?

[Notification Bot]

A message was moved here from #new members > ✔ Proofs inside monads by Julian Berman.

[Young]

When I input "glean -install lean --version 4.13.0-rc3" It tells me that "panic: exit status 128 goroutine 1 [running]: github.com/alissa-tung/glean/glean.InstallLean() /Users/alissa/pod/glean/glean/lean.go:80 +0x965 main.main() /Users/alissa/pod/glean/main.go:21 +0x91" Maybe it means that the mirror have something wrong. What should I do?

[Julian Berman]

(Welcome!)
I don't know anything about that tool, but it seems @Alissa Tung / @Alissa Tung is on the Zulip, perhaps they or someone else who's used it knows how to help.

[Alissa Tung]

Hello @Young , could you please provide the complete error logs? that would help to solve this issue. The complete logs are begin from execute the glean command in terminal, to the last of the output

[Alissa Tung]

cc @Young

In addition, if you are comfortable with Chinese video, from this link we can find two video, one of them introduce how to install glean on Windows, another for install on Linux

[Young]

Thanks, I've use lean for a while, the "128 exit" may refer to permission issues: The program may not have the necessary permissions to perform certain operations, such as writing to a specific directory. So the first thing is to change file permission manually