Adds `--show-token` Option to `lean login`

[jordanparker6]

I have created a research account today and I am unable to login with the lean CLI with the userid and token emailed to me.

Does it take a while for the account changes to take effect?

[Martin-Molinero]

Hey @jordanparker6! Sorry to hear your having issues, which error are you getting? it should not take time to have effect, please directly contact support to solve this asap

[AlexCatarino]

Hi @jordanparker6, We believe that the issue is due to copying and pasting to the terminal in macOS and also Linux. During this process, some characters might be added at the end of the string, and it records a wrong token. If you add the credentials to $HOME/.lean/credentials file manually (you can create this file if it doesn't exist, it solves the issue.

I changed the name of this issue, so we can add an option to show the token instead of a sequence of *. With this option, we will be able to see what is pasted to the terminal.

[Martin-Molinero]

• Add --show-secrets behavior for lean login/live
• Refactor prompt_password to disable the usage of askpass, so that it clearly shows the user input and existing default value if any