Option to download files from the Dashboard, from Workspace option.
Right now I cannot to access my Workspace which contains many code files and I am locked out due to some error. we can avoid this by allowing users to download all of the contents that are in the workspace like how "Gitpod" handles, directly allowing them to download the files by adding additional "Download" option in the workspace option. even if there are now virtual machines are available users would be able to access their files.
6
votes
-
Dharmesh Padhra commented
I am also facing issue to open my workspace as the virtual machine generates error to prepare environment. So option to export or download the workspace feature is helpful to recover the code.