Profiles
The default desktop profile isweb. Additional profiles live under
$DSH_HOME/profiles/<id> and can carry different plugin and patch configuration.
Changing the active profile restarts or reconfigures the service so desktop controls
and plugin operations target the selected profile.


Core sources
The application can track and update its managed core independently from the desktop
shell. If GitHub is unavailable, it keeps the existing local installation rather than
removing a working core.
Before switching
- Finish or pause active tool runs.
- Record uncommitted workspace changes.
- Switch the profile or core in settings.
- Confirm the service reconnects and the intended plugins are available.