Mathlib Install Issue

Stream: new members

[Brandon Sisler]

Hey all, I am trying to instill mathlib using the method described in the first Lean Summer Lecture
However, I am running into errors, pictures below:
What should I do about this? I should mention I am very new to using command lines and the like, so perhaps this is rather simple, but the fix is just not clear to me.
issue_1.PNG
issue_2.PNG

[Mario Carneiro]

I believe the first issue can be fixed by clicking OK

[Brandon Sisler]

Yes, that's true, but the second issue follows if I do that. Oddly enough, the same happens if I press cancel as well

[Kevin Buzzard]

The second issue can be solved by updating elan. Try elan self update