CLI Should Only Open and Attempt to Upload Relevant Files
Closed this issue · 3 comments
jaredbroad commented
We should ignore all other files except relevant code ones.
gaviles commented
@rjra2611 please also add some logic to ignore Python environment files, I see errors at least once a day of somebody trying to upload a file from a folder named .venv
or env
. For this please find commonly named folders for the python environments and don't push them to the cloud this should be a change in the vscode extension and the lean cli.
gaviles commented
- research of what are the root names for this env folders
- restrict uploading this file sin the cli.
- restrict uploading this files in the extension.
gaviles commented
budget 1.5 hours