Closed alphaDev23 closed 6 months ago
Hey @alphaDev23 Can you please run the command with --verbose and share the entire output?
Edit: There are 2 paths I believe that could leave some invalid config state file after an uninstall, ~/.lean/
& {your python install path}\Lib\site-packages\lean
, I'd think it's the first one. Could you try, uninstalling lean, deleting the folder, installing lean and retrying? Will require to relogin
Running the command with --verbose is in the original post. I will try the suggestion in your edit by this weekend.
Running the command with --verbose is in the original post. I will try the suggestion in your edit by this weekend.
Thank you @alphaDev23. Please keep us posted if, and how, ur able to solve the issue. Curious if your using the vscode local platform QC extension too? Trying to determine what could of caused the corruption
The lean.json file appears to have been corrupted. I ran lean init
in another folder, copied the lean.json file to the other folder and it ran without exception.
Issue was entered yesterday but then prematurely closed.
Upgrade lean to 1.0.177 and I now receive the following error regardless of the lean command , including using --verbose. I run. E.g.,
lean whoami --verbose Extra data: line 1 column 21977 (char 21976) Extra data: line 1 column 21977 (char 21976)