vscode deleting code

Stream: new members

[Harsha Nyapathi]

I saved a file on vscode with lean extension but after closing it, the file either disappears or shows 0 kb. I'm not sure what the problem is

[Harsha Nyapathi]

i saved a file in vscode with lean extension and after closing it, the file either disappears or shows 0kb. Not sure what the problem is

[Kevin Buzzard]

Do you have write access to the directory you're saving the file to? Is it on some networked drive or something?

[Harsha Nyapathi]

Yes, I have access. Actually, after closing the file, it sometimes shows the message 'updating vscode' , and then all saved files and folders disappear . When it doesn't, they are retained, as far as I've observed and remember

[Bryan Gin-ge Chen]

It's a bit hard to figure out what's going on without more info:
- What OS are you on and what version of VS Code are you using?
- Are you using any extensions other than vscode-lean?
- Can you check out the logs corresponding to the sessions where files aren't successfully saved? (see this link for the log locations)