Profile
默认桌面 Profile 为web。其他 Profile 位于 $DSH_HOME/profiles/<id>,可拥有不同的插件和补丁配置。
切换活动 Profile 后,服务会重启或重新配置,使桌面控制和插件操作指向新 Profile。


内核来源
托管内核可独立于桌面壳更新。GitHub 不可用时,应用保留已有本地安装,不会删除可用内核。
切换前
- 完成或暂停活动工具任务。
- 记录工作区未提交的修改。
- 在设置中切换 Profile 或内核。
- 确认服务重新连接且目标插件可用。