dsh-session-delete-plugin

Configuration

Every knob lives in the plugin's Config, so a user's override survives Harness upgrades. Override the row id session-delete from the profile's cordis.patch.yml, or from a --patch overlay:

key	default	meaning
sessionsRoot	''	Session log root. Empty derives $DSH_HOME, then ~/.dsh.
storagesRoot	''	Storage root holding the projection cache. Empty derives the same way.
blockActive	true	Refuse to delete a session that is open in this Harness.
stopActivity	true	Stop an open session's work first, through the Harness's own workspace/session-stop hook.
cleanWorkspaceRegistry	true	Drop the id from the archived and pinned sets.
cleanProjectionCache	true	Remove the cached projection.

A patch row replaces the whole config value, so restate every key you still want:

- id: session-delete
  name: 'dsh-session-delete-plugin'
  config:
    sessionsRoot: ''
    storagesRoot: ''
    blockActive: true
    stopActivity: true
    cleanWorkspaceRegistry: true
    cleanProjectionCache: false   # keep projections, delete only logs