lean login: FileNotFoundError for \.lean\credentials

[punitarani]

When running lean login after lean init, the credentials fail to be saved to the credentials file. Error: "FileNotFoundError: [Errno 2] No such file or directory: 'C:\Users\user\.lean\credentials'"

This can manually be fixed by creating the .lean folder and running lean login again.

[akshaygulabrao]

Thank you so much!! Apparently creating .lean and credentials also causes the command to fail.