She使用手册
资源管控
1、设置可创建的Workspace数量。
2、授权学生可使用的课程环境(devfile/workspace)。
选择班级查看当前班级的devfile权限设置;选择班级的devfile权限,设定后班级下的学生只能创建对应devfile的workspace;创建权限之外的workspace,提示创建失败信息:“The user(..) does not have this workspace privilege”。
3、查看学生Workspace状况/清理学生占用资源。
查看所有学生创建workspace数量情况;查看某个学生创建workspace详情,包括对应的devfile、workspace运行状态信息;删除学生创建的所有workspace,包括其使用的其他资源;由于学生的(部分)workspace仍处于RUNNING状态,所以第一次删除会提示失败;但是这次删除操作是有意义的:本次操作将学生所有workspace状态强制为STOPPED状态;第二次删除成功。