Overview
dsh-workspace-upload
A workspace file manager plugin for the dsh web GUI: browse, upload, download, rename, create and delete files in the session workspace.
README / EN
Package documentation
Registry summary
A workspace file manager plugin for the dsh web GUI: browse, upload, download, rename, create and delete files in the session workspace.
dsh.pub verifies the pinned bundle contract, runtime facts, and distribution semantics. The complete README remains in the source repository.
Read the full README on GitHub