概览
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 / ZH
插件文档
目录摘要
A workspace file manager plugin for the dsh web GUI: browse, upload, download, rename, create and delete files in the session workspace.
dsh.pub 核对固定版本的组合包契约、运行时事实与分发语义；完整 README 请查看源仓库。
在 GitHub 阅读完整 README