dsh-temporary-workspace

Configuration

root is the parent for generated Workspaces, not one Workspace shared by Sessions:

- insert:
    - id: temporary-workspace
      name: dsh-temporary-workspace
      config:
        root: !!js dshHomePath('temporary-workspaces')
        reservationRetentionMs: 3600000

The default is $DSH_HOME/temporary-workspaces, normally ~/.dsh/temporary-workspaces. It can also be edited live under Settings → Plugins → Temporary Workspace. Changes affect future creations only; existing Workspaces, Sessions, and files are not migrated or deleted.

The Settings namespace is temporary-workspace. reservationRetentionMs is the unadopted-directory grace period: one hour by default, with a one-minute minimum.