Zulip Chat Archive

Stream: new members

Topic: Darren Chen


Darren Chen (Sep 14 2021 at 00:56):

When trying to install python to install mathlib, I get this error "The installer has insufficient privileges to modify this file: ... ". How do you fix this?

Notification Bot (Sep 14 2021 at 00:57):

This topic was moved here from #general > factic by Johan Commelin

Johan Commelin (Sep 14 2021 at 00:58):

@Darren Chen Welcome! Please use a new topic in #new members to ask questions about installation issues. I've moved your message to such a new thread for you.

Johan Commelin (Sep 14 2021 at 00:58):

Are you on Windows?

Darren Chen (Sep 14 2021 at 00:58):

I am

Darren Chen (Sep 14 2021 at 00:59):

I tried installing python and canceled halfway through the first time so that might be the issue?

Johan Commelin (Sep 14 2021 at 01:08):

Hmm, I'm not an expert on python installs on windows.

Johan Commelin (Sep 14 2021 at 01:08):

Could you try to remove the traces of that python installation, and try again?

Johan Commelin (Sep 14 2021 at 01:15):

Anyways, it would be good if you can indicate precisely which steps of https://leanprover-community.github.io/install/windows.html you have followed, and were things stopped working.

Darren Chen (Sep 14 2021 at 01:37):

I have downloaded it.


Last updated: Dec 20 2023 at 11:08 UTC